$ cat hello.ml
print_endline "Hello World!";;
$ camlp4 pa_o.cmo pr_o.cmo hello.ml
let _ = print_endline "Hello World!"

http://martin.jambon.free.fr/extend-ocaml-syntax.html

Mais en fait CamlP4 va changer avec OCaml 3.10 ...