Bytecode compiler of a variant of Caml - View it on GitHub