k3ocaml: more parsing