REQUIRE
(void) REQUIRE(MORE(), REG_EBRACK);
(void) REQUIRE(EATTWO('.', ']'), REG_ECOLLATE);
#define MUSTSEE(c, e) (REQUIRE(MORE() && PEEK() == (c), e))
#define MUSTEAT(c, e) (REQUIRE(MORE() && GETNEXT() == (c), e))
#define MUSTNOTSEE(c, e) (REQUIRE(!MORE() || PEEK() != (c), e))
(void) REQUIRE(MORE(), REG_EPAREN);
(void) REQUIRE(MORE(), REG_EESCAPE);
(void) REQUIRE(MORE2() && \
(void) REQUIRE(!wascaret, REG_BADRPT);
(void) REQUIRE(count <= count2, REG_BADBR);
(void) REQUIRE(MORE(), REG_EBRACE);
(void) REQUIRE(MORE(), REG_BADPAT);
(void) REQUIRE(HERE() != bc.start, REG_BADPAT);
(void) REQUIRE(MORE(), REG_EESCAPE);
(void) REQUIRE(EATTWO('\\', ')'), REG_EPAREN);
(void) REQUIRE(bc->nchain == 0, REG_BADRPT);
(void) REQUIRE(count <= count2, REG_BADBR);
(void) REQUIRE(MORE(), REG_EBRACE);
(void) REQUIRE(ndigits > 0 && count <= DUPMAX, REG_BADBR);
(void) REQUIRE(MORE(), REG_EBRACK);
(void) REQUIRE(c != '-' && c != ']', REG_ECTYPE);
(void) REQUIRE(MORE(), REG_EBRACK);
(void) REQUIRE(EATTWO(':', ']'), REG_ECTYPE);
(void) REQUIRE(MORE(), REG_EBRACK);
(void) REQUIRE(c != '-' && c != ']', REG_ECOLLATE);
(void) REQUIRE(MORE(), REG_EBRACK);
(void) REQUIRE(EATTWO('=', ']'), REG_ECOLLATE);
(void) REQUIRE((uch)start <= (uch)finish,
(void) REQUIRE(_collate_range_cmp(start,
REQUIRE(ctx->state == connecting || ctx->state == connected);
REQUIRE(ctx->wrID.opaque == NULL);
REQUIRE(EMPTY(ctx->tran));
REQUIRE(ctx->coID.opaque == NULL);
REQUIRE(ctx->state != destroyed);
REQUIRE(ctx->state == connecting || ctx->state == connected);
REQUIRE(ctx->rdID.opaque == NULL);
REQUIRE(ctx->coID.opaque == NULL);
REQUIRE(ctx->rdID.opaque != NULL);
REQUIRE(ctx != NULL);
REQUIRE(fd >= 0);
REQUIRE(evmask == EV_READ);
REQUIRE(ctx->state == connected);
REQUIRE(!EMPTY(ctx->tran));
REQUIRE(ctx->tiID.opaque == NULL);
REQUIRE(ctx->tiID.opaque != NULL);
REQUIRE(ctx->tiID.opaque != NULL);
REQUIRE(!allocated_p(*buf) && buf->used == 0U);
REQUIRE(allocated_p(*buf));
REQUIRE(sess->state == initializing ||
REQUIRE(sess->wrtiID.opaque == NULL);
REQUIRE(sess->wrID.opaque == NULL);
REQUIRE(sess->state == initializing ||
REQUIRE(sess->sock != -1);
REQUIRE(sess->state == initializing ||
REQUIRE(sess->rdtiID.opaque == NULL);
REQUIRE(sess->rdID.opaque == NULL);
REQUIRE(sess->state == reading || sess->state == reading_data);
REQUIRE(sess->rdID.opaque != NULL);
REQUIRE(sess != NULL);
REQUIRE(fd >= 0);
REQUIRE(evmask == EV_READ);
REQUIRE(sess->state == reading || sess->state == reading_data);
REQUIRE(sess->state == writing);
REQUIRE(sess->state == reading);
REQUIRE(allocated_p(sess->inbuf));
REQUIRE(sess->state == writing);
REQUIRE(fd == sess->sock);
REQUIRE(sess->wrtiID.opaque != NULL);
REQUIRE(!lastverb_p(this));
REQUIRE((respflags & CTL_MORE) != 0);
REQUIRE((evmask & EV_READ) != 0);
REQUIRE(lc != NULL);
REQUIRE(lc != NULL);
REQUIRE(lc != NULL);
REQUIRE(lc != NULL);
REQUIRE(chan != NULL);
REQUIRE(freelists != NULL);