New debugger interface