@DATE@; TEQC v. @VERSION@