python
## Import bde pretty printers
import sys
sys.path.append('/bb/bde/bbshr/bde-tools/contrib/gdb-printers')
import bde_printer

bde_printer.reload()
end
