Bytecode compiler of a variant of Caml