Symbol: pt_exec