debugger frontend