Skein_assert
Skein_assert(sizeof (cfg.b) >= sizeof (ctx->X));
Skein_assert(n < msgByteCnt);
Skein_assert(ctx->h.bCnt == SKEIN_256_BLOCK_BYTES);
Skein_assert(ctx->h.bCnt == 0);
Skein_assert(msgByteCnt + ctx->h.bCnt <= SKEIN_256_BLOCK_BYTES);
Skein_assert(sizeof (cfg.b) >= sizeof (ctx->X));
Skein_assert(n < msgByteCnt);
Skein_assert(ctx->h.bCnt == SKEIN_512_BLOCK_BYTES);
Skein_assert(ctx->h.bCnt == 0);
Skein_assert(msgByteCnt + ctx->h.bCnt <= SKEIN_512_BLOCK_BYTES);
Skein_assert(sizeof (cfg.b) >= sizeof (ctx->X));
Skein_assert(n < msgByteCnt);
Skein_assert(ctx->h.bCnt == SKEIN1024_BLOCK_BYTES);
Skein_assert(ctx->h.bCnt == 0);
Skein_assert(msgByteCnt + ctx->h.bCnt <= SKEIN1024_BLOCK_BYTES);
Skein_assert(blkCnt != 0); /* never call with blkCnt == 0! */
Skein_assert(blkCnt != 0); /* never call with blkCnt == 0! */
Skein_assert(blkCnt != 0); /* never call with blkCnt == 0! */