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