allocated_p
if (allocated_p(ctx->inbuf))
if (allocated_p(this->outbuf))
if (!allocated_p(ctx->inbuf) &&
if (allocated_p(ctx->inbuf))
REQUIRE(!allocated_p(*buf) && buf->used == 0U);
if (!allocated_p(*buf)) {
REQUIRE(allocated_p(*buf));
if (!allocated_p(sess->outbuf) &&
if (allocated_p(sess->inbuf))
if (allocated_p(sess->outbuf))
if (!allocated_p(sess->inbuf) &&
REQUIRE(allocated_p(sess->inbuf));
INSIST(allocated_p(sess->outbuf));