let mk_gen_spare = MarkPair.mk_gen_spare