OCaml: Add step 9