An OCR written in OCaml