The JavaCaml bytecode interpreter