Stuff about GNU Debugger (AKA gdb).