A debugger frontend