GDB pretty-printing hooks for debugging GCC