let mk_user_spare = MarkPair.mk_m1_spare