instructions.tcl