198 		assert(m->coldp != NULL);  in matcher()
204 			assert(m->coldp < m->endp);  in matcher()
239 		assert(g->backrefs);	/* must be back references doing it */  in matcher()
240 		assert(g->nplus == 0 || m->lastpos != NULL);  in matcher()
251 				assert(m->pmatch[i].rm_so == -1);  in matcher()
252 				assert(m->pmatch[i].rm_eo == -1);  in matcher()
258 		assert(dp == NULL || dp == endp);  in matcher()
275 		assert(m->pmatch != NULL);  in matcher()
334 			assert(nope);  in dissect()
350 			assert(nope);  in dissect()
358 				assert(rest != NULL);	/* it did match */  in dissect()
365 				assert(stp >= sp);	/* it did work */  in dissect()
372 				assert(dp == rest);  in dissect()
374 				assert(sp == rest);  in dissect()
382 				assert(rest != NULL);	/* it did match */  in dissect()
389 				assert(stp >= sp);	/* it did work */  in dissect()
407 			assert(sep == rest);	/* must exhaust substring */  in dissect()
408 			assert(slow(m, ssp, sep, ssub, esub) == rest);  in dissect()
410 			assert(dp == sep);  in dissect()
418 				assert(rest != NULL);	/* it did match */  in dissect()
425 				assert(stp >= sp);	/* it did work */  in dissect()
429 			assert(OP(m->g->strip[esub]) == OOR1);  in dissect()
434 				assert(OP(m->g->strip[esub]) == OOR1);  in dissect()
436 				assert(OP(m->g->strip[esub]) == OOR2);  in dissect()
442 					assert(OP(m->g->strip[esub]) == O_CH);  in dissect()
445 			assert(dp == rest);  in dissect()
453 			assert(nope);  in dissect()
457 			assert(0 < i && i <= m->g->nsub);  in dissect()
462 			assert(0 < i && i <= m->g->nsub);  in dissect()
466 			assert(nope);  in dissect()
471 	assert(sp == stop);  in dissect()
560 				assert(OP(s) == OOR2);  in backref()
582 		assert(0 < i && i <= m->g->nsub);  in backref()
585 		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(OP(m->g->strip[esub]) == OOR1);  in backref()
634 			assert(OP(m->g->strip[esub]) == OOR2);  in backref()
640 				assert(OP(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()
748 		assert(c != OUT);  in fast()
751 		assert(EQ(step(m->g, startst, stopst, st, NOTHING, st), st));  in fast()
755 	assert(coldp != NULL);  in fast()
833 		assert(c != OUT);  in slow()
836 		assert(EQ(step(m->g, startst, stopst, st, NOTHING, st), st));  in slow()
866 			assert(pc == stop-1);  in step()
870 			assert(!NONCHAR(ch) || ch != (char)OPND(s));  in step()
929 			assert(OP(g->strip[pc+OPND(s)]) == OOR2);  in step()
937 					assert(OP(s) == OOR2);  in step()
944 				assert(OP(g->strip[pc+OPND(s)]) == OOR2);  in step()
952 			assert(nope);  in step()