ocaml: Finish 54