yyout
extern FILE *yyin, *yyout;
return yyout;
yyout = out_str ;
yyout = stdout;
yyout = (FILE *) 0;
FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0;
#define ECHO do { if (fwrite( yytext, yyleng, 1, yyout )) {} } while (0)
if ( ! yyout )
yyout = stdout;