hw4b.sml