python
import sys
sys.path.insert(0, '../share/gcc-4.7.2/python')
from libstdcxx.v6.printers import register_libstdcxx_printers
register_libstdcxx_printers (None)
end