method private change_label label = let label = label_map label in let old_label = current_label in current_label <- Some label; old_label