Krivine abstract machine in OCaml