A debugger