demo ocaml.ml