problem 1 in OCaml