OCamlCC - Raising low-level bytecode to high-level C

We present preliminary results about OCamlCC, a compiler producing native code from OCaml bytecode executables, through the generation of C code.