SML examples.