A sandmark VM, in OCaml.  Very fast.