INSIST
INSIST(n >= 0 && n <= 9);
INSIST(n >= 0 && n <= 9);
INSIST(n >= 0 && n <= 9);
INSIST(n >= 0 && n <= 15);
INSIST(n < irs_nmap);
INSIST(n < irs_nacc);
INSIST(res != NULL && *res == NULL);
INSIST(sess->verb != NULL);
INSIST(allocated_p(sess->outbuf));
INSIST(sess->verb != NULL);
INSIST(ctx->strDone == NULL);
INSIST(this != NULL);
INSIST(wl->first != NULL);
INSIST(this != NULL);
INSIST(first != NULL);
INSIST(revs >= 0);
INSIST(revs >= 0);
INSIST(tp == &t);
INSIST(nextTimer || ctx->fdCount);
INSIST(ctx != NULL);
INSIST(sizeof(fence_t) == FENCEPOST_SIZE);
INSIST(e->fencepost == FRONT_FENCEPOST);
INSIST(e->size == size);
INSIST(fp == BACK_FENCEPOST);
INSIST(((u_long)mem % 4) == 0);
INSIST(el != NULL); /*%< double free */
INSIST(stats[max_size].gets != 0U);
INSIST(stats[size].gets != 0U);
INSIST(a[i] == value);
#define MEMLOCK do { INSIST(memlock == 0); memlock = 1; } while (0)
#define MEMUNLOCK do { INSIST(memlock == 1); memlock = 0; } while (0)
INSIST(len <= *buflen);
INSIST(n > 0);
INSIST(n > 0);
INSIST(!LINKED(elt, link));\
INSIST(!LINKED(elt, link));\
INSIST(!LINKED(elt, link));\
INSIST(LINKED(elt, link));\
INSIST((list).tail == (elt)); \
INSIST((list).head == (elt)); \
INSIST(!LINKED(elt, link));\