let
mk_gen_spare = mk_m2
Mark
.spare