SampleAppTask2 ()
{
  Eth_RxStatusType RxStatus;
  uint8 CtrlIndex;
  Std_ReturnType tempRet;
  Std_ReturnType D.12145;
  unsigned char D.12140;

  <bb 2> :
  # DEBUG BEGIN_STMT
  tempRet = 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  CtrlIndex = 0;
  goto <bb 8>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  D.12140 = Tst_Pfe_SendDummyFrame (CtrlIndex, &broadcastMac);
  tempRet = D.12140 | tempRet;
  # DEBUG BEGIN_STMT
  _1 = (int) CtrlIndex;
  _2 = Eth_43_PFE_StaticConfig.pController[_1];
  _3 = _2->EnableRxInterrupt;
  if (_3 == 0)
    goto <bb 4>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  Eth_43_PFE_Receive (CtrlIndex, 0, &RxStatus);
  RxStatus = {CLOBBER};

  <bb 5> :
  # DEBUG BEGIN_STMT
  _4 = (int) CtrlIndex;
  _5 = Eth_43_PFE_StaticConfig.pController[_4];
  _6 = _5->EnableTxInterrupt;
  if (_6 == 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  Eth_43_PFE_TxConfirmation (CtrlIndex);

  <bb 7> :
  # DEBUG BEGIN_STMT
  CtrlIndex.1_7 = CtrlIndex;
  CtrlIndex = CtrlIndex.1_7 + 1;

  <bb 8> :
  # DEBUG BEGIN_STMT
  if (CtrlIndex <= 2)
    goto <bb 3>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  D.12145 = tempRet;
  return D.12145;

}


SimpleDelay (uint32 timeout)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("nop");

  <bb 4> :
  # DEBUG BEGIN_STMT
  timeout.0_1 = timeout;
  timeout = timeout.0_1 + 4294967295;
  if (timeout.0_1 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 5> :
  return;

}


