BDD for Tcl