An mini interpreter for OCaml