new file:   debugger.c