My own modified gdb printers