roughly complete lexing file