Lexer redef