GDB pretty-printers for GLM