rem: { yy_flush_buffer( b );
add: { int oerrno = errno;  yy_flush_buffer(b );
context: void yy_init_buffer( YY_BUFFER_STATE b, FILE *file )#elsevoid yy_init_buffer( b, file )YY_BUFFER_STATE b;FILE *file;#endif	{	yy_flush_buffer( b );	b->yy_input_file = file;	b->yy_fill_buffer = 1;#if YY_ALWAYS_INTERACTIVE	b->yy_is_interactive = 1;#else#if YY_NEVER_INTERACTIVE	b->yy_is_interactive = 0;#else	b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;#endif#endif	}