/test.sml/1.1.2.1/Thu Apr 21 21:07:07 1994//THOL97
/var_example.sml/1.1.2.1/Wed Oct 19 13:00:46 1994//THOL97
/var_example2.sml/1.1.2.1/Thu Apr 21 21:05:33 1994//THOL97
/example.sml/1.1.2.2/Fri Oct 10 17:08:18 1997//THOL97
