A simple example of ocamllex and menhir