Ocaml: Add step 3