Formatting of ex2_02.sml