now with jflex-generated lexer