char* virgin_free_list;
/* The number of elements in the virgin_free_list that can be
- allocated before needing another block. */
+ allocated before needing another block. */
size_t virgin_elts_remaining;
size_t elts_allocated;
extern alloc_pool create_alloc_pool (const char *, size_t, size_t);
extern void free_alloc_pool (alloc_pool);
+extern void empty_alloc_pool (alloc_pool);
extern void free_alloc_pool_if_empty (alloc_pool *);
extern void *pool_alloc (alloc_pool);
extern void pool_free (alloc_pool, void *);