Symbol: do_step