/* Pushes the new state onto the stack. The new state becomes the current state. This function will allocate the stack if necessary.  */
void yypush_buffer_state(YY_BUFFER_STATE new_buffer)
/* Pushes the new state onto the stack. The new state becomes the current state. This function will allocate the stack if necessary.  */
void yypush_buffer_state(YY_BUFFER_STATE new_buffer)
{
    	if (new_buffer == NULL)
		return;
	yyensure_buffer_stack();
	if ( YY_CURRENT_BUFFER )
		{
		*(yy_c_buf_p) = (yy_hold_char);
		YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
		YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
		}
	if (YY_CURRENT_BUFFER)
		(yy_buffer_stack_top)++;
	YY_CURRENT_BUFFER_LVALUE = new_buffer;
	yy_load_buffer_state(  );
	(yy_did_buffer_switch_on_eof) = 1;
}