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