set print pretty on
set print object on
set print static-members on
set print vtbl on
set print demangle on
set demangle-style gnu-v3
source /home/gebner/lean4/src/bin/lean-gdb.py
source /home/gebner/etc/gdbprinters.py