Pulley: declare yylex