python
from libstdcxx.v6.printers import register_libstdcxx_printers
register_libstdcxx_printers(None)
end
