%option main %% .* ECHO; printf(" --> %d",yyleng); ^\n printf(" --> 0\n"); \n ECHO;