Debugging debug code