let mk_m1 m1 = create ~m1 ~m2:Mark.bottom