normal.sml written, no tests
normal.sml written, no tests