Compiler for C written in OCaml