/COPYRIGHT/1.1.1.1/Mon Oct 16 13:31:58 1995//THOL97
/sources.cm/1.1.4.1/Mon Jul 14 17:26:12 1997//THOL97
/make_pair/1.1.1.1.4.2.2.1/Mon Jul 14 17:25:41 1997//THOL97
