a working debugger