Update Debugger.h