Code from the book "The Art of Debugging with GDB, DDD, and Eclipse"