Symbol: do_resume_step