A "low-level" combinator parsing library for OCaml