Debugging C/C++ with GDB