bit_write_TF (Bit_Chain *restrict dat, BITCODE_TF restrict chain, int length)
{
  int i;
  for (i = 0; i < length; i++)
    bit_write_RC (dat, (BITCODE_RC)chain[i]);
}
bit_write_TF (Bit_Chain *restrict dat, BITCODE_TF restrict chain, int length)
{
  int i;
  for (i = 0; i < length; i++)
    bit_write_RC (dat, (BITCODE_RC)chain[i]);
}