let merge_user_marks ma mb =
    let m1 = Mark.merge ma.T.m1 mb.T.m1 in
      mk_m m1 Mark.bottom