let lexbuf = ((Global.empty "the lexbuf") : Lexing.lexbuf global)