OCaml practice