let update_at_label frame label p =
    M.update_at_label frame.mframe label
      (fupdate_at_label frame.fframe label p)