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