Very simple abstract machine on OCaml