proc_run, not proc_exec