/mk_ascii.sml/1.1.1.1/Mon Oct 16 13:31:04 1995//THOL97
/mk_string.sml/1.1.1.1/Mon Oct 16 13:31:04 1995//THOL97
/mk_string_lib.sml/1.1.1.1.6.1/Tue Jul 15 12:50:08 1997//THOL97
