Improvements to debugger API