Update lib.tcl