A compiler for the C natural programming language written in OCaml