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