sample programs in OCaml