SML code example in the intro video