c_pop_buffer_state  312 htags/c.c      void c_pop_buffer_state (void );
c_pop_buffer_state 2174 htags/c.c      		c_pop_buffer_state();