pred_exec