dprintf - printf debugging using GDB

Just a quick example of how to use dprintf, which allows for the familiar "printf" style debugging using gdb.