This is a kind of free list implementation where new elements are guaranteed to be placed in the smallest available index of the list.