Added main_tests.sml