+
+ /* These are the elements that have been allocated at least once and freed. */
+ alloc_pool_list returned_free_list;
+
+ /* These are the elements that have not yet been allocated out of
+ the last block obtained from XNEWVEC. */
+ char* virgin_free_list;
+
+ /* The number of elements in the virgin_free_list that can be
+ allocated before needing another block. */
+ size_t virgin_elts_remaining;
+