Symbol: run_exec