File int.sml: Testing structure Int... test1a OK test1b OK test1c OK test1d OK test2a OK test2b OK test2c OK test2d OK test3 OK test4 OK test5 OK test6 OK test12 OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK test13b OK test13b OK test13b OK test13b OK test13b OK test13b OK test13b OK test13b OK test13b OK test13b OK test13b OK test13b OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK test14b OK test14b OK test14b OK test14b OK test14b OK test14b OK test14b OK test14b OK test14b OK test14b OK test14b OK test14b OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK test15b OK test15b OK test15b OK test15b OK test15b OK test15b OK test15b OK test15b OK test15b OK test15b OK test15b OK test15b OK test15b OK test15b OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK test16b OK test16b OK test16b OK test16b OK test16b OK test16b OK test16b OK test16b OK test16b OK test16b OK test16b OK test16b OK test16b OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK chk OK test17b OK test17b OK test17b OK test17b OK test17b OK test17b OK test17b OK test17b OK test17b OK test17b OK test17b OK test18 OK test19 OK test20 OK test21 OK test22 OK