ocaml example1