Consider Rewrite of Driver in OCaml #2
Description
Rewriting the driver in OCaml has the benefit of using only a single language. The performance impact of this should also be negligible because no weird pointer-arithmetic is used in C. The arrays used in C can also be translated to OCaml efficiently.