Debugging rec / CPS