method set_label my_id =
    label <- my_id