translating to/from OCaml