checkdebug.tcl
