INSIST
INSIST(sockcount == 0);
INSIST(recvcount == 0);
INSIST(query->recvspace != NULL);
INSIST(current_lookup == NULL);
INSIST(!free_now);
INSIST(!free_now);
INSIST(i > 0);
INSIST(!free_now);
INSIST(len >= 8U);
INSIST(!free_now);
INSIST(dns_name_isabsolute(lookup->name));
INSIST(i < MAXOPTS);
INSIST(i < MAXOPTS);
INSIST(plen == 0);
INSIST(plen <= 32);
INSIST(plen <= 128);
INSIST(0);
INSIST(i < MAXOPTS);
INSIST(i < MAXOPTS);
INSIST(i + lookup->ednsoptscnt <= MAXOPTS);
INSIST(sendcount >= 0);
INSIST(query->sock == NULL);
INSIST(query->sock != NULL);
INSIST(!free_now);
INSIST(!free_now);
INSIST(recvcount >= 0);
INSIST(b == &query->lengthbuf);
INSIST(sockcount >= 0);
INSIST(!free_now);
INSIST(sockcount >= 0);
INSIST(!free_now);
INSIST(query->waiting_connect);
INSIST(sockcount > 0);
INSIST(sockcount > 0);
INSIST(msg->sitok == 0 && msg->sitbad == 0);
INSIST(!free_now);
INSIST(recvcount >= 0);
INSIST(b == &query->recvbuf);
INSIST(sockcount >= 0);
INSIST(count == 1);
INSIST(ISC_LIST_HEAD(lookup_list) == NULL);
INSIST(current_lookup == NULL);
INSIST(!free_now);
INSIST(!free_now);
INSIST(lookold->ednsopts[i].value != NULL);
INSIST(!free_now);
INSIST(looknew != NULL);
INSIST(looknew != NULL);
INSIST(labels > 0);
INSIST(strlen(s) < TYPECLASSBUF);
INSIST(strlen(typename) < TYPECLASSBUF);
INSIST(strlen(classname) < TYPECLASSBUF);
INSIST(strlen(dirname) < DIRNAMESIZE);
INSIST(n > 0 && (unsigned)n < sizeof(buf));
INSIST(n > 0 && (unsigned)n < sizeof(srcdir));
INSIST(n > 0 && (unsigned)n < sizeof(srcdir));
INSIST(n > 0 && (unsigned)n < sizeof(buf));
INSIST(n > 0 && (unsigned)n < sizeof(srcdir));
INSIST(n > 0 && (unsigned)n < sizeof(year));
INSIST(nspaces >= 0);
INSIST(length <= sizeof(ttlbuf));
INSIST(!dns_rdataset_isassociated(rdataset));
INSIST(!free_name);
INSIST(!free_rdataset);
INSIST(st.used < 65536);
INSIST(msg->counts[DNS_SECTION_QUESTION] < 65536 &&
INSIST(dynbuf != NULL);
INSIST(isc_buffer_remaininglength(&optbuf) >= 4U);
INSIST(isc_buffer_remaininglength(&optbuf) >= optlen);
INSIST(dns_rdataset_isassociated(rds));
INSIST(dns_rdataset_isassociated(msg->opt));
INSIST(dns_rdataset_isassociated(msg->tsig));
INSIST(msg->querytsig == NULL);
INSIST(dns_rdataset_isassociated(msg->sig0));
INSIST(dynbuf != NULL);
INSIST(0); /* Cannot get here... */
INSIST(trysize != 0);
INSIST(nlen >= count);
INSIST(nlen >= count);
INSIST(nlabels < 128);
INSIST(count <= 63);
INSIST(offset <= length);
INSIST(set_name == name);
INSIST(nlabels == name->labels);
INSIST(offset == name->length);
INSIST(name->buffer != NULL);
INSIST(count1 <= 63 && count2 <= 63);
INSIST(count <= 63); /* no bitstring support */
INSIST(labels <= 127);
INSIST(tlen == 0);
INSIST(count != 0);
INSIST(labels <= 127);
INSIST(n2 <= 63); /* no bitstring support */
INSIST(labels <= 127);
INSIST(i + 2 <= sr->length);
INSIST(len > 0 && len <= 32);
INSIST(i + len <= sr->length);
INSIST(activelength < 65536);
INSIST(rdata->length == 0);
INSIST(target->used < 65536);
INSIST(sr.length < 65536);
INSIST(rdata->length == 0);
INSIST(u >= cur);
INSIST(sr.length >= 6);
INSIST(sr.length >= tsig->siglen);
INSIST(sr.length == tsig->otherlen);
INSIST(hit_len < region.length);
INSIST(key_len <= region.length);
INSIST(flen < len);
INSIST(latitude <= 90U);
INSIST(longitude <= 180U);
INSIST((size&0x0f) < 10 && (size>>4) < 10);
INSIST((hp&0x0f) < 10 && (hp>>4) < 10);
INSIST((vp&0x0f) < 10 && (vp>>4) < 10);
INSIST(j <= sr.length);
INSIST(j <= sr.length);
INSIST(j <= sr.length);
INSIST(r.length >= length);
INSIST(prefixlen <= 128);
INSIST(prefixlen <= 128);
INSIST(sr.length >= 4);
INSIST(len <= sr.length);
INSIST(n < (int)sizeof(txt));
INSIST(len <= 4);
INSIST(prefix <= 32);
INSIST(len <= 16);
INSIST(prefix <= 128);
INSIST(n < (int)sizeof(txt));
INSIST(n < sizeof(buf));
INSIST(val_region.length % 2 == 0);
INSIST(val_region.length == 0);
INSIST(val_region.length == 2);
INSIST(val_region.length % 4 == 0);
INSIST(val_region.length % 16 == 0);
INSIST(sr.length <= 8*1024);
INSIST(list_rdata != NULL);
INSIST(result == ISC_R_NOMORE);
INSIST(i < count);
INSIST(i == count);
INSIST((target->used >= rdlen.used + 2) &&
INSIST(savedbuffer.used < 65536);
INSIST(msg->verified_sig);
INSIST(response);
INSIST (x > 0);
INSIST(len + 1 <= sizeof(tmp));
INSIST(HEAPCONDITION(i));
INSIST(HEAPCONDITION(i));
INSIST(_r->length >= _l); \
INSIST(result == ISC_R_SUCCESS);
INSIST(remaining > 0U);
INSIST(prev != NULL);
INSIST(remaining > 0U);
INSIST(source->ignored <= isc_buffer_consumedlength(source->pushback));
INSIST(context != NULL);
INSIST(context != 0);
INSIST(context->ctx != 0);
INSIST(data != 0);
INSIST(digest != 0);
INSIST(context != 0);
INSIST(context->ctx != 0);
INSIST(plen < sizeof(pbuf));
INSIST(avail.length >= 1);
INSIST(0);
INSIST(newsize > 0U && newmax > 0U);
INSIST(exists_policy == isc_symexists_replace);
INSIST(EMPTY(task->events));
INSIST(task->state == task_state_ready ||
INSIST(EMPTY(task->events));
INSIST(EMPTY(task->events));
INSIST(task->state == task_state_ready ||
INSIST(!(idle1 && idle2));
INSIST(task->state == task_state_ready);
INSIST(!was_idle);
INSIST(!manager->exiting);
INSIST(ISC_LIST_EMPTY(manager->tasks));
INSIST(result == ISC_R_NOMEMORY);
INSIST(manager->nscheduled > 0);
INSIST(timer != NULL);
INSIST(result == ISC_R_NOMEMORY);
INSIST(ISC_LIST_EMPTY(sock->recv_list));
INSIST(ISC_LIST_EMPTY(sock->send_list));
INSIST(sock->connect_ev == NULL);
INSIST(sock->fd >= -1 && sock->fd < (int)manager->maxsocks);
INSIST(sock->references == 0);
INSIST(!sock->connecting);
INSIST(!sock->pending_recv);
INSIST(!sock->pending_send);
INSIST(ISC_LIST_EMPTY(sock->recv_list));
INSIST(ISC_LIST_EMPTY(sock->send_list));
INSIST(!ISC_LINK_LINKED(sock, link));
INSIST(0);
INSIST(!sock->pending_recv);
INSIST(!sock->pending_send);
INSIST(ev != NULL); /* XXX */
INSIST(sock->connecting);
INSIST(dev != NULL && *dev != NULL);
INSIST(ev->ev_type == ISC_SOCKEVENT_INTR);
INSIST(sock->pending_recv == 1);
INSIST(sock->references > 0);
INSIST(ev->ev_type == ISC_SOCKEVENT_INTW);
INSIST(sock->pending_send == 1);
INSIST(sock->references > 0);
INSIST(sock->bound);
INSIST(!sock->bound);
INSIST(ev->ev_type == ISC_SOCKEVENT_INTW);
INSIST(sock->references > 0);
INSIST(!sock->connecting);
INSIST(sock->connecting);
INSIST(sock->connecting);
INSIST(fd >= 0 && fd < (int)manager->maxsocks);
INSIST(manager->fdstate[fd] == CLOSE_PENDING);
INSIST(iovcount < MAXSCATTERGATHER_SEND);
INSIST(skip_count == 0U);
INSIST(msg->msg_controllen <= SENDCMSGBUFLEN);
INSIST(msg->msg_controllen <= SENDCMSGBUFLEN);
INSIST((int)dev->dscp == isc_dscp_check_value);
INSIST((int)sock->dscp == isc_dscp_check_value);
INSIST(dev->dscp < 0x40);
INSIST(msg->msg_controllen <= SENDCMSGBUFLEN);
INSIST(msg->msg_controllen <= SENDCMSGBUFLEN);
INSIST(iovcount < MAXSCATTERGATHER_RECV);
INSIST(address == NULL);
INSIST(ISC_LIST_EMPTY(ev->bufferlist));
INSIST(0);
INSIST(actual_count == 0U);
INSIST(fileobj->type == &cfg_type_qstring);
INSIST(braces == 0);
INSIST(result == ISC_R_NOMORE ||
INSIST(elt != NULL);