/READ-ME/1.1.1.1/Mon Oct 16 13:31:01 1995//THOL97
/sources.cm/1.1.4.1/Tue Jul 15 12:50:40 1997//THOL97
/make_string/1.1.1.1.4.2.2.1/Tue Jul 15 12:50:18 1997//THOL97
