next_key = function()
local result = to_key(First_available_id)
First_available_id = First_available_id+1
return result
end