%*
{
if ( ! b )
YY_FATAL_ERROR( "NULL buffer passed to yy_init_buffer()" );
yy_flush_buffer( b );
b->yy_input_file = file;