Resettable Counter - Tcl Typing CST Test