Added Kt and at in procedures.tcl