def __create_launcher(self, run_root):
		launcher = self.__task.data['backend']['launcher']
		return self.__launcher_mgr.create_launcher(launcher, run_root)
def insert(root, key):
    left, right = split(root, key)
    return merge(merge(left, Treap(key)), right)