public void ArraySet(BitStream32 Buffer, int pos, int val) { long p = pos; p *= this.NumBits; Buffer.WriteAt ((uint)val, this.NumBits, p); }