SML helpers.