let
mk_gen_spare =
MarkPair
.mk_gen_spare