method set_label s = label <- s