/mk_tc.sml/1.1.2.3.2.2/Mon Jun 30 14:44:10 1997//THOL97
/mk_wf.sml/1.1.2.3.2.2/Fri Jul  4 16:54:27 1997//THOL97
