# Register pretty-printers
source utils/gdb/seer_pretty_printers.py