AssertH
AssertH ( ((bbSize-1) >> shifts) <= 65535, 1002 );
AssertH( s->origPtr != -1, 1003 );
AssertH ( sp < FALLBACK_QSORT_STACK_SIZE - 1, 1004 );
AssertH ( j < 256, 1005 );
AssertH ( sp < MAIN_QSORT_STACK_SIZE - 2, 1001 );
AssertH ( !bigDone[ss], 1006 );
AssertH ( (copyStart[ss]-1 == copyEnd[ss])
AssertH ( 0, 6001 );
AssertH ( s->nMTF > 0, 3001 );
AssertH( nGroups < 8, 3002 );
AssertH( nSelectors < 32768 &&
AssertH ( !(maxLen > 17 /*20*/ ), 3004 );
AssertH ( !(minLen < 1), 3005 );
AssertH ( s->selector[selCtr] < nGroups, 3006 );
AssertH( selCtr == nSelectors, 3007 );
default: AssertH ( False, 4001 );
AssertH ( False, 4002 );
AssertH( nNodes < (BZ_MAX_ALPHA_SIZE * 2), 2002 );
AssertH( nHeap < (BZ_MAX_ALPHA_SIZE+2), 2001 );