source fennec/gdb/printers.py