changed name of test.sml to fit Meehan conventions