Debugged MPC