A scratchpad for SML code