rem: yy_init_buffer( yy_current_buffer, input_file ); yy_load_buffer_state(); }
add: yy_init_buffer(YY_CURRENT_BUFFER,input_file ); yy_load_buffer_state( ); }
context: void yyrestart( FILE *input_file )#elsevoid yyrestart( input_file )FILE *input_file;#endif	{	if ( ! yy_current_buffer )		yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE );	yy_init_buffer( yy_current_buffer, input_file );	yy_load_buffer_state();	}