GDB Pretty Printers for MySQL data structures