Macro benchmarks for OCaml