impl: out_exec