Note that GDB on Ubuntu 13.10 is linked to Python 3.x. The previous code will
result in an syntax error and render the pretty printer non-functional.