python
import sys
import os
sys.path.insert(0, os.path.join(sys.prefix, "share", "gcc-13.1.0", "python"))
from libstdcxx.v6.printers import register_libstdcxx_printers
register_libstdcxx_printers(None)
end
