benchmark.tcl 539 Bytes