A bytecode compiler & virtual machine for the C0 language, written in OCaml