ticket-defs.tcl-old