def _last_index(self, s):
        self.set_index(max(0, self._find_one_after_last_labeled_index() - 1))
def remove(root, key):
    left, right = split(root, key)
    return merge(left, split(right, key + 1)[1])