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