/mk_example01.sml/1.1.1.1/Mon Oct 16 13:30:58 1995//THOL97
/mk_example02.sml/1.1.1.1/Mon Oct 16 13:30:58 1995//THOL97
/mk_example03.sml/1.1.1.1/Mon Oct 16 13:30:59 1995//THOL97
