# Load pretty printers
source tools/gdb_pretty_printers/autoload.py