OCaml test