normal.sml written but broken, tests written for normal.sml