Consider this Tcl file: