Symbol: do_run