check.tcl
