bit_read_fixed (Bit_Chain *restrict dat, BITCODE_RC *restrict dest, int length)
{
  for (int i = 0; i < length; i++)
    {
      dest[i] = bit_read_RC (dat);
    }
}
bit_read_fixed (Bit_Chain *restrict dat, BITCODE_RC *restrict dest, int length)
{
  for (int i = 0; i < length; i++)
    {
      dest[i] = bit_read_RC (dat);
    }
}