Update debugger.c