3 ms·

Didnt know that about Caml. Neat. Perhaps a subset of Ocaml with formal semantics can do well, too.