Add debugging code for the CmdLine backend