A version of Standard ML (SML), written by Peter Sestoft