debugging the debugger