Note: this demo does not work with Objective CAML 1.05.
It will work with the next release of Ocaml.
