Mirror of Jon Harrop's HLVM (http://www.ffconsultancy.com/ocaml/hlvm)