Changed debugger interface