LZMA_LEN_NUM_MID_BITS
+(1 << (LZMA_NUM_POS_BITS_MAX + LZMA_LEN_NUM_MID_BITS)))
LZMA_LEN_NUM_MID_BITS));
num_bits = LZMA_LEN_NUM_MID_BITS;
+ (1 << LZMA_LEN_NUM_MID_BITS));