Binary protocol generator for OCaml
