gdbgui - Browser-based frontend to gdb (gnu debugger)