Debugging the debugger