Use the right lexer for these examples