better OCaml support