playing with SML