yypop_buffer_state  293 src/parser.yy.c void yypop_buffer_state (void );
yypop_buffer_state 2159 src/parser.yy.c 		yypop_buffer_state();