todo-defs.tcl