let mk_gen_spare = mk_m2 Mark.spare