# Returns a unique ID for new notifications
	private fun next_notification_id: Int
	do
		var id = next_notification_id_cache
		next_notification_id_cache = id + 1
		return id
	end