/* Initialize both the 32-bit and 31-bit LFSRs with a non-zero seed value.  */
static void TbxRandomInitLFSRs(void)
/* Initialize both the 32-bit and 31-bit LFSRs with a non-zero seed value.  */
static void TbxRandomInitLFSRs(void)
{
  uint32_t seedLFSR32 = 0xABCDEUL;
  uint32_t seedLFSR31 = 0x23456789UL;
  if (tbxRandomSeedInitHandler != NULL)
  {
    seedLFSR32 = tbxRandomSeedInitHandler();
    seedLFSR31 = tbxRandomSeedInitHandler();
  }
  if (seedLFSR32 == 0U)
  {
    seedLFSR32 = 0xABCDEUL;
  }
  if (seedLFSR31 == 0U)
  {
    seedLFSR31 = 0x23456789UL;
  }
  tbxRandomNumberLFSR32 = seedLFSR32;
  tbxRandomNumberLFSR31 = seedLFSR31;
}