integrating the debugger