write-all-specs.tcl