better tcl syntax