Debugger front-end