#include <config.h>
#endif
#include "pool.h"
#include <config.h>
#endif
#include "pool.h"
#include <stdlib.h>
#include "alloc.h"
#include "str.h"
#include <stdlib.h>
#include "alloc.h"
#include "str.h"
next = cur->next;
free_gizmo (cur);
}
next = cur->next;
free_gizmo (cur);
}
}
\f
/* Memory allocation. */
}
\f
/* Memory allocation. */