yyset_out
void yyset_out (FILE * out_str );
void yyset_out (FILE * out_str );
void yyset_out (FILE * out_str );
void yyset_out ( FILE * _out_str );
void yyset_out ( FILE * _out_str );