python
import sys
sys.path.insert(0, '/build/drt/riscstar-toolchain/riscstar-toolchain-15.1-r1-riscv64-riscv64-none-linux-gnu/share/gcc-15.1.0/python')
from libstdcxx.v6.printers import register_libstdcxx_printers
register_libstdcxx_printers (None)
end
