BJ_ASSERT
BJ_ASSERT(k != 0 && (k & (k - 1)) == 0);
BJ_ASSERT(false);
BJ_ASSERT(false);
BJ_ASSERT(jtf[negate].sjump == NULL);
BJ_ASSERT(jtf[branching].sjump == NULL);
BJ_ASSERT(ret0_size <= ret0_maxsize);
BJ_ASSERT((initmask & (BJ_INIT_MBIT(memwords) - 1)) == 0);
BJ_ASSERT(k <= UINT32_MAX - 1);
BJ_ASSERT(k <= UINT32_MAX - 3);
BJ_ASSERT(bc != NULL && bc->copfuncs != NULL);