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