Symbol: setup_singlestep