void check_main_m0out(index_t *i1, index_t *i2) { Mcheck_main_m0out(i1, i2); }
void check_main_m0out(struct idx *i1, struct idx *i2) { Mcheck_main_m0out(i1, i2); }