all-bafs.tcl