Debugging C Programs with GDB