OCaml practice.