Gob's Program in OCaml