Minimal functionality that uses yylex().