instructions.configure = \ setStartLevel(startLevel:5);\ markStarted(started: true);