246 		assert(m->coldp != NULL);  in matcher()
252 			assert(m->coldp < m->endp);  in matcher()
287 		assert(g->backrefs);	/* must be back references doing it */  in matcher()
288 		assert(g->nplus == 0 || m->lastpos != NULL);  in matcher()
299 				assert(m->pmatch[i].rm_so == -1);  in matcher()
300 				assert(m->pmatch[i].rm_eo == -1);  in matcher()
306 		assert(dp == NULL || dp == endp);  in matcher()
313 		assert(start <= stop);  in matcher()
322 		assert(m->pmatch != NULL);  in matcher()
386 			assert(nope);  in dissect()
402 			assert(nope);  in dissect()
410 				assert(rest != NULL);	/* it did match */  in dissect()
417 				assert(stp >= sp);	/* it did work */  in dissect()
425 				assert(dp == rest);  in dissect()
427 				assert(sp == rest);  in dissect()
435 				assert(rest != NULL);	/* it did match */  in dissect()
442 				assert(stp >= sp);	/* it did work */  in dissect()
460 			assert(sep == rest);	/* must exhaust substring */  in dissect()
461 			assert(slow(m, ssp, sep, ssub, esub) == rest);  in dissect()
464 			assert(dp == sep);  in dissect()
472 				assert(rest != NULL);	/* it did match */  in dissect()
479 				assert(stp >= sp);	/* it did work */  in dissect()
483 			assert(OP(m->g->strip[esub]) == OOR1);  in dissect()
488 				assert(OP(m->g->strip[esub]) == OOR1);  in dissect()
490 				assert(OP(m->g->strip[esub]) == OOR2);  in dissect()
496 					assert(OP(m->g->strip[esub]) == O_CH);  in dissect()
500 			assert(dp == rest);  in dissect()
508 			assert(nope);  in dissect()
512 			assert(0 < i && i <= m->g->nsub);  in dissect()
517 			assert(0 < i && i <= m->g->nsub);  in dissect()
521 			assert(nope);  in dissect()
526 	assert(sp == stop);  in dissect()
620 				assert(OP(s) == OOR2);  in backref()
642 		assert(0 < i && i <= m->g->nsub);  in backref()
645 		assert(m->pmatch[i].rm_so != -1);  in backref()
647 		assert(stop - m->beginp >= len);  in backref()
664 		assert(m->lastpos != NULL);  in backref()
665 		assert(lev+1 <= m->g->nplus);  in backref()
683 		assert(OP(m->g->strip[esub]) == OOR1);  in backref()
692 			assert(OP(m->g->strip[esub]) == OOR2);  in backref()
698 				assert(OP(m->g->strip[esub]) == O_CH);  in backref()
703 		assert(0 < i && i <= m->g->nsub);  in backref()
714 		assert(0 < i && i <= m->g->nsub);  in backref()
724 		assert(nope);  in backref()
729 	assert(nope);  in backref()
809 		assert(c != OUT);  in fast()
812 		assert(EQ(step(m->g, startst, stopst, st, NOTHING, st), st));  in fast()
816 	assert(coldp != NULL);  in fast()
899 		assert(c != OUT);  in slow()
902 		assert(EQ(step(m->g, startst, stopst, st, NOTHING, st), st));  in slow()
943 			assert(pc == stop-1);  in step()
947 			assert(!NONCHAR(ch) || ch != (char)OPND(s));  in step()
1006 			assert(OP(g->strip[pc+OPND(s)]) == OOR2);  in step()
1014 					assert(OP(s) == OOR2);  in step()
1021 				assert(OP(g->strip[pc+OPND(s)]) == OOR2);  in step()
1029 			assert(nope);  in step()