public int Decode(BitStream32 Buffer, BitStreamCtx ctx) { int number = (int)Buffer.Read (this.NumBits, ctx); return number; }