yypush_buffer_state
void yypush_buffer_state (YY_BUFFER_STATE new_buffer );
void yypush_buffer_state( struct yy_buffer_state* new_buffer );