public void Init()
        {
            SevenZip.Compression.RangeCoder.Decoder.InitBitModels(m_Choice);
            for (int posState = 0; posState < m_NumPosStates; posState++)
            {