free_ids priority queue. unused as yet