INSIST
INSIST((size_t)krb5_storage_write(reply, data.data, data.length) == data.length);
INSIST(maj_stat == GSS_S_COMPLETE);
INSIST((size_t)sret == data.length);
INSIST(maj_stat == GSS_S_COMPLETE);
INSIST(conf_state != 0);
INSIST((size_t)sret == data.length);
INSIST(sp != NULL);
INSIST(*name != NULL);
INSIST((size_t)slen == tlen);
INSIST((size_t)slen == tlen);
INSIST(sp != NULL);
INSIST(*str != NULL);
INSIST(*tp != NULL);
INSIST((size_t)ent->n_tl_data == count);
INSIST(ent->n_tl_data == 0);
INSIST(num == (uint32_t)ent->n_key_data);
INSIST(ent->key_data != NULL);
INSIST(flag > 1);
INSIST(version == VERSION2);
INSIST(ent.principal);
INSIST(version == VERSION2);
INSIST(version == VERSION2);
INSIST(version == VERSION2);
INSIST((size_t)off == data->length);
INSIST(sret == off);
INSIST(off == krb5_storage_seek(sp, 0, SEEK_CUR));
INSIST(ilen >= 4);
INSIST((size_t)slen == sizeof(tmp) - ilen);
INSIST(ilen >= 4);
INSIST((size_t)slen == len);
INSIST((size_t)slen == ilen);
INSIST(ret == 0);
INSIST(ret == 0);
INSIST(chdr.rpcvers == RPC_VERSION);
INSIST(chdr.prog == KADM_SERVER);
INSIST(chdr.vers == VVERSION);
INSIST(chdr.cred.flavor == FLAVOR_GSS);
INSIST(gcred.version == FLAVOR_GSS_VERSION);
INSIST(chdr.verf.flavor == FLAVOR_GSS);
INSIST(maj_stat == GSS_S_COMPLETE);
INSIST(gcred.service == rpg_privacy);
INSIST(gctx.done);
INSIST(krb5_data_cmp(&gcred.handle, &gctx.handle) == 0);
INSIST(maj_stat == GSS_S_COMPLETE);
INSIST(conf_state != 0);
INSIST(sp1 != NULL);
INSIST (seq == gcred.seq_num);
INSIST(seq > gctx.seq_num);
INSIST(server_handle != NULL);
INSIST(gctx.inprogress == 0);
INSIST(gctx.ctx == NULL);
INSIST(gctx.inprogress);
INSIST(maj_stat == GSS_S_COMPLETE);
INSIST(ret == 0);
INSIST(gctx.ctx != GSS_C_NO_CONTEXT);
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));\
INSIST(ctx->strDone == NULL);
INSIST(len <= *buflen);