source ./tools/gdb-plugins/operator_tree.py
source ./tools/gdb-plugins/pretty_printers.py