Secd abstract machine in OCaml