void check_m1in_m1in_m2out(index_t *i0, index_t *i1, index_t *i2) { Mcheck_m1in_m1in_m2out(i0, i1, i2); }
void check_m1in_m1in_m2out(struct idx *i0, struct idx *i1, struct idx *i2) { Mcheck_m1in_m1in_m2out(i0, i1, i2); }
void check_m1in_m1in_m2out(index_t *i0, index_t *i1, index_t *i2) { Mcheck_m1in_m1in_m2out(i0, i1, i2); }
void check_m1in_m1in_m2out(struct idx *i0, struct idx *i1, struct idx *i2) { Mcheck_m1in_m1in_m2out(i0, i1, i2); }