case-state-change.tcl