being converting tests from tcl