A stack machine implemented in ocaml