194 		assert(m->coldp != NULL);  in matcher()
200 			assert(m->coldp < m->endp);  in matcher()
235 		assert(g->backrefs);	/* must be back references doing it */  in matcher()
236 		assert(g->nplus == 0 || m->lastpos != NULL);  in matcher()
247 				assert(m->pmatch[i].rm_so == -1);  in matcher()
248 				assert(m->pmatch[i].rm_eo == -1);  in matcher()
254 		assert(dp == NULL || dp == endp);  in matcher()
261 		assert(start <= stop);  in matcher()
270 		assert(m->pmatch != NULL);  in matcher()
329 			assert(nope);  in dissect()
345 			assert(nope);  in dissect()
353 				assert(rest != NULL);	/* it did match */  in dissect()
360 				assert(stp >= sp);	/* it did work */  in dissect()
367 				assert(dp == rest);  in dissect()
369 				assert(sp == rest);  in dissect()
377 				assert(rest != NULL);	/* it did match */  in dissect()
384 				assert(stp >= sp);	/* it did work */  in dissect()
402 			assert(sep == rest);	/* must exhaust substring */  in dissect()
403 			assert(slow(m, ssp, sep, ssub, esub) == rest);  in dissect()
405 			assert(dp == sep);  in dissect()
413 				assert(rest != NULL);	/* it did match */  in dissect()
420 				assert(stp >= sp);	/* it did work */  in dissect()
424 			assert(m->g->strip[esub] == OOR1);  in dissect()
429 				assert(m->g->strip[esub] == OOR1);  in dissect()
431 				assert(m->g->strip[esub] == OOR2);  in dissect()
437 					assert(m->g->strip[esub] == O_CH);  in dissect()
440 			assert(dp == rest);  in dissect()
448 			assert(nope);  in dissect()
452 			assert(0 < i && i <= m->g->nsub);  in dissect()
457 			assert(0 < i && i <= m->g->nsub);  in dissect()
461 			assert(nope);  in dissect()
466 	assert(sp == stop);  in dissect()
558 				assert(s == OOR2);  in backref()
584 		assert(0 < i && i <= m->g->nsub);  in backref()
587 		assert(m->pmatch[i].rm_so != -1);  in backref()
589 		assert(stop - m->beginp >= len);  in backref()
606 		assert(m->lastpos != NULL);  in backref()
607 		assert(lev+1 <= m->g->nplus);  in backref()
625 		assert(m->g->strip[esub] == OOR1);  in backref()
634 			assert(m->g->strip[esub] == OOR2);  in backref()
640 				assert(m->g->strip[esub] == O_CH);  in backref()
645 		assert(0 < i && i <= m->g->nsub);  in backref()
656 		assert(0 < i && i <= m->g->nsub);  in backref()
666 		assert(nope);  in backref()
671 	assert(nope);  in backref()
746 		assert(c != OUT);  in fast()
749 		assert(EQ(step(m->g, startst, stopst, st, NOTHING, OUT, st), st));  in fast()
753 	assert(coldp != NULL);  in fast()
831 		assert(c != OUT);  in slow()
834 		assert(EQ(step(m->g, startst, stopst, st, NOTHING, OUT, st), st));  in slow()
867 			assert(pc == stop-1);  in step()
871 			assert(!flag || ch != d);  in step()
930 			assert(OP(g->strip[pc+d]) == OOR2);  in step()
940 					assert(s == OOR2);  in step()
948 				assert(g->strip[pc+d] == OOR2);  in step()
956 			assert(nope);  in step()