On the choice of OCaml