yy_switch_to_buffer  288 src/parser.yy.c void yy_switch_to_buffer (YY_BUFFER_STATE new_buffer  );
yy_switch_to_buffer  771 src/parser.yy.c     yy_switch_to_buffer(yy_create_buffer(yyin,YY_BUF_SIZE ) );
yy_switch_to_buffer 1200 src/parser.yy.c 				 yy_switch_to_buffer(include_stack[include_stack_ptr] );
yy_switch_to_buffer 1960 src/parser.yy.c 	yy_switch_to_buffer(b  );