a debugger debugging a bug