}
}
+void id_list_destroy()
+{
+ while (head_free_id) {
+ struct id_list_entry *next = head_free_id->next;
+ free(head_free_id);
+ head_free_id = next;
+ }
+ num_free_ids = 0;
+}
+
void id_free(struct id_entry *i)
{
struct id_list_entry *ie = (struct id_list_entry *)malloc(sizeof(struct id_list_entry));