xEventGroupSetBits.part.0 (struct EventGroupDef_t * xEventGroup, const EventBits_t uxBitsToSet)
{
  struct ListItem_t * pxListItem;
  struct ListItem_t * pxNext;
  const struct ListItem_t * pxListEnd;
  const struct List_t * pxList;
  EventBits_t uxBitsToClear;
  EventBits_t uxBitsWaitedFor;
  EventBits_t uxControlBits;
  struct EventGroup_t * pxEventBits;
  BaseType_t xMatchFound;
  uint32_t ulNewBASEPRI;
  uint32_t ulNewBASEPRI;
  long unsigned int _4;
  long unsigned int _6;
  long unsigned int _11;
  long unsigned int _12;
  long unsigned int _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _23;
  long unsigned int _24;
  long unsigned int _25;

  <bb 12> [local count: 118111600]:

  <bb 2> [local count: 118111600]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG D#1 => &MEM[(struct EventGroup_t *)xEventGroup_1(D)].xTasksWaitingForBits
  # DEBUG pxList => D#1
  # DEBUG BEGIN_STMT
  pxListEnd_2 = &MEM[(const struct List_t *)xEventGroup_1(D) + 4B].xListEnd;
  # DEBUG pxListEnd => pxListEnd_2
  # DEBUG BEGIN_STMT
  vTaskSuspendAll ();
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pxListItem_3 = MEM[(const struct List_t *)xEventGroup_1(D) + 4B].xListEnd.pxNext;
  # DEBUG pxListItem => pxListItem_3
  # DEBUG BEGIN_STMT
  _4 = MEM[(struct EventGroup_t *)xEventGroup_1(D)].uxEventBits;
  _6 = _4 | uxBitsToSet_5(D);
  MEM[(struct EventGroup_t *)xEventGroup_1(D)].uxEventBits = _6;
  # DEBUG BEGIN_STMT
  goto <bb 10>; [100.00%]

  <bb 3> [local count: 955630223]:
  # DEBUG BEGIN_STMT
  pxNext_8 = pxListItem_7->pxNext;
  # DEBUG pxNext => pxNext_8
  # DEBUG BEGIN_STMT
  uxBitsWaitedFor_9 = pxListItem_7->xItemValue;
  # DEBUG uxBitsWaitedFor => uxBitsWaitedFor_9
  # DEBUG BEGIN_STMT
  # DEBUG xMatchFound => 0
  # DEBUG BEGIN_STMT
  # DEBUG uxControlBits => uxBitsWaitedFor_9 & 4278190080
  # DEBUG BEGIN_STMT
  uxBitsWaitedFor_10 = uxBitsWaitedFor_9 & 16777215;
  # DEBUG uxBitsWaitedFor => uxBitsWaitedFor_10
  # DEBUG BEGIN_STMT
  _11 = uxBitsWaitedFor_9 & 67108864;
  if (_11 == 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 5>; [50.00%]

  <bb 4> [local count: 477815111]:
  # DEBUG BEGIN_STMT
  _12 = MEM[(struct EventGroup_t *)xEventGroup_1(D)].uxEventBits;
  _13 = uxBitsWaitedFor_10 & _12;
  if (_13 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 9>; [50.00%]

  <bb 5> [local count: 477815111]:
  # DEBUG BEGIN_STMT
  _14 = MEM[(struct EventGroup_t *)xEventGroup_1(D)].uxEventBits;
  _15 = uxBitsWaitedFor_10 & _14;
  if (uxBitsWaitedFor_10 == _15)
    goto <bb 6>; [34.00%]
  else
    goto <bb 9>; [66.00%]

  <bb 6> [local count: 401364694]:
  # DEBUG xMatchFound => NULL
  # DEBUG BEGIN_STMT
  _16 = uxBitsWaitedFor_9 & 16777216;
  if (_16 != 0)
    goto <bb 7>; [50.00%]
  else
    goto <bb 8>; [50.00%]

  <bb 7> [local count: 200682347]:
  # DEBUG BEGIN_STMT
  uxBitsToClear_18 = uxBitsWaitedFor_10 | uxBitsToClear_17;
  # DEBUG uxBitsToClear => uxBitsToClear_18

  <bb 8> [local count: 401364694]:
  # uxBitsToClear_26 = PHI <uxBitsToClear_17(6), uxBitsToClear_18(7)>
  # DEBUG uxBitsToClear => uxBitsToClear_26
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _19 = MEM[(struct EventGroup_t *)xEventGroup_1(D)].uxEventBits;
  _20 = _19 | 33554432;
  vTaskRemoveFromUnorderedEventList (pxListItem_7, _20);

  <bb 9> [local count: 955630225]:
  # pxListItem_27 = PHI <pxNext_8(4), pxNext_8(5), pxNext_8(8)>
  # uxBitsToClear_28 = PHI <uxBitsToClear_17(4), uxBitsToClear_17(5), uxBitsToClear_26(8)>

  <bb 10> [local count: 1073741824]:
  # pxListItem_7 = PHI <pxListItem_3(2), pxListItem_27(9)>
  # uxBitsToClear_17 = PHI <0(2), uxBitsToClear_28(9)>
  # DEBUG xMatchFound => NULL
  # DEBUG uxBitsToClear => uxBitsToClear_17
  # DEBUG pxListItem => pxListItem_7
  # DEBUG BEGIN_STMT
  if (pxListEnd_2 != pxListItem_7)
    goto <bb 3>; [89.00%]
  else
    goto <bb 11>; [11.00%]

  <bb 11> [local count: 118111601]:
  # uxBitsToClear_22 = PHI <uxBitsToClear_17(10)>
  # DEBUG BEGIN_STMT
  _21 = MEM[(struct EventGroup_t *)xEventGroup_1(D)].uxEventBits;
  _23 = ~uxBitsToClear_22;
  _24 = _21 & _23;
  MEM[(struct EventGroup_t *)xEventGroup_1(D)].uxEventBits = _24;
  # DEBUG BEGIN_STMT
  xTaskResumeAll ();
  # DEBUG BEGIN_STMT
  _25 = MEM[(struct EventGroup_t *)xEventGroup_1(D)].uxEventBits;
  return _25;

}


xEventGroupClearBits.part.0 (struct EventGroupDef_t * xEventGroup, const EventBits_t uxBitsToClear)
{
  struct EventGroup_t * pxEventBits;
  EventBits_t uxReturn;
  uint32_t ulNewBASEPRI;
  uint32_t ulNewBASEPRI;
  long unsigned int _4;
  long unsigned int _5;

  <bb 3> [local count: 1073741824]:

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  vPortEnterCritical ();
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  uxReturn_2 = MEM[(struct EventGroup_t *)xEventGroup_1(D)].uxEventBits;
  # DEBUG uxReturn => uxReturn_2
  # DEBUG BEGIN_STMT
  _4 = ~uxBitsToClear_3(D);
  _5 = uxReturn_2 & _4;
  MEM[(struct EventGroup_t *)xEventGroup_1(D)].uxEventBits = _5;
  # DEBUG BEGIN_STMT
  vPortExitCritical ();
  # DEBUG BEGIN_STMT
  return uxReturn_2;

}


vEventGroupSetNumber (void * xEventGroup, UBaseType_t uxEventGroupNumber)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  MEM[(struct EventGroup_t *)xEventGroup_2(D)].uxEventGroupNumber = uxEventGroupNumber_3(D);
  return;

}


uxEventGroupGetNumber (void * xEventGroup)
{
  UBaseType_t xReturn;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG pxEventBits => xEventGroup_2(D)
  # DEBUG BEGIN_STMT
  if (xEventGroup_2(D) == 0B)
    goto <bb 4>; [30.00%]
  else
    goto <bb 3>; [70.00%]

  <bb 3> [local count: 751619278]:
  # DEBUG BEGIN_STMT
  xReturn_4 = MEM[(const struct EventGroup_t *)xEventGroup_2(D)].uxEventGroupNumber;
  # DEBUG xReturn => xReturn_4

  <bb 4> [local count: 1073741824]:
  # xReturn_1 = PHI <0(2), xReturn_4(3)>
  # DEBUG xReturn => xReturn_1
  # DEBUG BEGIN_STMT
  return xReturn_1;

}


xEventGroupSetBitsFromISR (struct EventGroupDef_t * xEventGroup, const EventBits_t uxBitsToSet, BaseType_t * pxHigherPriorityTaskWoken)
{
  BaseType_t xReturn;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  xReturn_6 = xTimerPendFunctionCallFromISR (vEventGroupSetBitsCallback, xEventGroup_2(D), uxBitsToSet_3(D), pxHigherPriorityTaskWoken_4(D));
  # DEBUG xReturn => xReturn_6
  # DEBUG BEGIN_STMT
  return xReturn_6;

}


prvTestWaitCondition (const EventBits_t uxCurrentEventBits, const EventBits_t uxBitsToWaitFor, const BaseType_t xWaitForAllBits)
{
  BaseType_t xWaitConditionMet;
  long unsigned int _1;
  long unsigned int _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG xWaitConditionMet => 0
  # DEBUG BEGIN_STMT
  if (xWaitForAllBits_4(D) == 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 5>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _1 = uxCurrentEventBits_5(D) & uxBitsToWaitFor_6(D);
  if (_1 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 7>; [50.00%]

  <bb 4> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  # DEBUG xWaitConditionMet => 1
  goto <bb 7>; [100.00%]

  <bb 5> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _2 = uxCurrentEventBits_5(D) & uxBitsToWaitFor_6(D);
  if (_2 == uxBitsToWaitFor_6(D))
    goto <bb 6>; [34.00%]
  else
    goto <bb 7>; [66.00%]

  <bb 6> [local count: 182536110]:
  # DEBUG BEGIN_STMT
  # DEBUG xWaitConditionMet => 1

  <bb 7> [local count: 1073741824]:
  # xWaitConditionMet_3 = PHI <1(4), 0(5), 1(6), 0(3)>
  # DEBUG xWaitConditionMet => xWaitConditionMet_3
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return xWaitConditionMet_3;

}


vEventGroupClearBitsCallback (void * pvEventGroup, const uint32_t ulBitsToClear)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  xEventGroupClearBits (pvEventGroup_2(D), ulBitsToClear_3(D));
  return;

}


vEventGroupSetBitsCallback (void * pvEventGroup, const uint32_t ulBitsToSet)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  xEventGroupSetBits (pvEventGroup_2(D), ulBitsToSet_3(D));
  return;

}


vEventGroupDelete (struct EventGroupDef_t * xEventGroup)
{
  uint32_t ulNewBASEPRI;
  uint32_t ulNewBASEPRI;
  struct xLIST_ITEM * _1;
  const struct MiniListItem_t * _2;
  long unsigned int _3;

  <bb 2> [local count: 230763]:
  # DEBUG BEGIN_STMT
  if (xEventGroup_5(D) == 0B)
    goto <bb 3>; [46.53%]
  else
    goto <bb 5>; [53.47%]

  <bb 3> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG INLINE_ENTRY vPortRaiseBASEPRI
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_11 : "i" 16 : "memory");
  # DEBUG ulNewBASEPRI => ulNewBASEPRI_11

  <bb 4> [local count: 1073741824]:
  # DEBUG ulNewBASEPRI => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 12> [local count: 1073741824]:
  goto <bb 4>; [100.00%]

  <bb 5> [local count: 123389]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG pxEventBits => xEventGroup_5(D)
  # DEBUG BEGIN_STMT
  # DEBUG D#2 => &MEM[(struct EventGroup_t *)xEventGroup_5(D)].xTasksWaitingForBits
  # DEBUG pxTasksWaitingForBits => D#2
  # DEBUG BEGIN_STMT
  vTaskSuspendAll ();
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 10>; [100.00%]

  <bb 6> [local count: 1089998]:
  # DEBUG BEGIN_STMT
  _1 = MEM[(const struct List_t *)xEventGroup_5(D) + 4B].xListEnd.pxNext;
  _2 = &MEM[(const struct List_t *)xEventGroup_5(D) + 4B].xListEnd;
  if (_1 == _2)
    goto <bb 7>; [5.50%]
  else
    goto <bb 9>; [94.50%]

  <bb 7> [local count: 59950]:
  # DEBUG BEGIN_STMT
  # DEBUG INLINE_ENTRY vPortRaiseBASEPRI
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_12 : "i" 16 : "memory");
  # DEBUG ulNewBASEPRI => ulNewBASEPRI_12

  <bb 8> [local count: 599500022]:
  # DEBUG ulNewBASEPRI => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 13> [local count: 599500022]:
  goto <bb 8>; [100.00%]

  <bb 9> [local count: 1030048]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  vTaskRemoveFromUnorderedEventList (_1, 33554432);

  <bb 10> [local count: 1153437]:
  # DEBUG BEGIN_STMT
  _3 ={v} MEM[(const struct List_t *)xEventGroup_5(D) + 4B].uxNumberOfItems;
  if (_3 != 0)
    goto <bb 6>; [94.50%]
  else
    goto <bb 11>; [5.50%]

  <bb 11> [local count: 63439]:
  # DEBUG BEGIN_STMT
  vPortFree (xEventGroup_5(D));
  # DEBUG BEGIN_STMT
  xTaskResumeAll ();
  return;

}


xEventGroupSetBits (struct EventGroupDef_t * xEventGroup, const EventBits_t uxBitsToSet)
{
  EventBits_t D.6634;
  uint32_t ulNewBASEPRI;
  uint32_t ulNewBASEPRI;
  long unsigned int _1;

  <bb 2> [local count: 228942]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG uxBitsToClear => 0
  # DEBUG BEGIN_STMT
  # DEBUG pxEventBits => xEventGroup_3(D)
  # DEBUG BEGIN_STMT
  # DEBUG xMatchFound => 0
  # DEBUG BEGIN_STMT
  if (xEventGroup_3(D) == 0B)
    goto <bb 3>; [30.00%]
  else
    goto <bb 5>; [70.00%]

  <bb 3> [local count: 68683]:
  # DEBUG BEGIN_STMT
  # DEBUG INLINE_ENTRY vPortRaiseBASEPRI
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_7 : "i" 16 : "memory");
  # DEBUG ulNewBASEPRI => ulNewBASEPRI_7

  <bb 4> [local count: 686828460]:
  # DEBUG ulNewBASEPRI => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 4>; [100.00%]

  <bb 5> [local count: 160260]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = uxBitsToSet_4(D) & 4278190080;
  if (_1 != 0)
    goto <bb 6>; [67.00%]
  else
    goto <bb 8>; [33.00%]

  <bb 6> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG INLINE_ENTRY vPortRaiseBASEPRI
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_8 : "i" 16 : "memory");
  # DEBUG ulNewBASEPRI => ulNewBASEPRI_8

  <bb 7> [local count: 1073741824]:
  # DEBUG ulNewBASEPRI => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 7>; [100.00%]

  <bb 8> [local count: 52886]:
  _6 = xEventGroupSetBits.part.0 (xEventGroup_3(D), uxBitsToSet_4(D));
  return _6;

}


xEventGroupGetBitsFromISR (struct EventGroupDef_t * xEventGroup)
{
  uint32_t ulOriginalBASEPRI;
  uint32_t ulNewBASEPRI;
  EventBits_t uxReturn;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG pxEventBits => xEventGroup_1(D)
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG INLINE_ENTRY ulPortRaiseBASEPRI
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("	mrs %0, basepri											
	mov %1, %2												
	msr basepri, %1											
	isb														
	dsb														
" : "=r" ulOriginalBASEPRI_4, "=r" ulNewBASEPRI_5 : "i" 16 : "memory");
  # DEBUG ulNewBASEPRI => ulNewBASEPRI_5
  # DEBUG ulOriginalBASEPRI => ulOriginalBASEPRI_4
  # DEBUG BEGIN_STMT
  # DEBUG ulNewBASEPRI => NULL
  # DEBUG ulOriginalBASEPRI => NULL
  # DEBUG uxSavedInterruptStatus => ulOriginalBASEPRI_4
  # DEBUG BEGIN_STMT
  uxReturn_3 = MEM[(const struct EventGroup_t *)xEventGroup_1(D)].uxEventBits;
  # DEBUG uxReturn => uxReturn_3
  # DEBUG BEGIN_STMT
  # DEBUG ulNewMaskValue => ulOriginalBASEPRI_4
  # DEBUG INLINE_ENTRY vPortSetBASEPRI
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("	msr basepri, %0	" :  : "r" ulOriginalBASEPRI_4 : "memory");
  # DEBUG ulNewMaskValue => NULL
  # DEBUG BEGIN_STMT
  return uxReturn_3;

}


xEventGroupClearBitsFromISR (struct EventGroupDef_t * xEventGroup, const EventBits_t uxBitsToClear)
{
  BaseType_t xReturn;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  xReturn_5 = xTimerPendFunctionCallFromISR (vEventGroupClearBitsCallback, xEventGroup_2(D), uxBitsToClear_3(D), 0B);
  # DEBUG xReturn => xReturn_5
  # DEBUG BEGIN_STMT
  return xReturn_5;

}


xEventGroupClearBits (struct EventGroupDef_t * xEventGroup, const EventBits_t uxBitsToClear)
{
  EventBits_t D.6607;
  uint32_t ulNewBASEPRI;
  uint32_t ulNewBASEPRI;
  long unsigned int _1;

  <bb 2> [local count: 228942]:
  # DEBUG BEGIN_STMT
  # DEBUG pxEventBits => xEventGroup_3(D)
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (xEventGroup_3(D) == 0B)
    goto <bb 3>; [30.00%]
  else
    goto <bb 5>; [70.00%]

  <bb 3> [local count: 68683]:
  # DEBUG BEGIN_STMT
  # DEBUG INLINE_ENTRY vPortRaiseBASEPRI
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_7 : "i" 16 : "memory");
  # DEBUG ulNewBASEPRI => ulNewBASEPRI_7

  <bb 4> [local count: 686828460]:
  # DEBUG ulNewBASEPRI => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 4>; [100.00%]

  <bb 5> [local count: 160260]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = uxBitsToClear_5(D) & 4278190080;
  if (_1 != 0)
    goto <bb 6>; [67.00%]
  else
    goto <bb 8>; [33.00%]

  <bb 6> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG INLINE_ENTRY vPortRaiseBASEPRI
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_8 : "i" 16 : "memory");
  # DEBUG ulNewBASEPRI => ulNewBASEPRI_8

  <bb 7> [local count: 1073741824]:
  # DEBUG ulNewBASEPRI => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 7>; [100.00%]

  <bb 8> [local count: 52886]:
  _2 = xEventGroupClearBits.part.0 (xEventGroup_3(D), uxBitsToClear_5(D));
  return _2;

}


xEventGroupWaitBits (struct EventGroupDef_t * xEventGroup, const EventBits_t uxBitsToWaitFor, const BaseType_t xClearOnExit, const BaseType_t xWaitForAllBits, TickType_t xTicksToWait)
{
  uint32_t ulNewBASEPRI;
  uint32_t ulNewBASEPRI;
  uint32_t ulNewBASEPRI;
  uint32_t ulNewBASEPRI;
  const EventBits_t uxCurrentEventBits;
  BaseType_t xAlreadyYielded;
  BaseType_t xWaitConditionMet;
  EventBits_t uxControlBits;
  EventBits_t uxReturn;
  long unsigned int _1;
  long int _2;
  long unsigned int _3;
  long unsigned int _4;
  struct List_t * _5;
  long unsigned int _6;
  long unsigned int _7;
  long int _8;
  long unsigned int _9;
  long unsigned int _10;

  <bb 2> [local count: 306783]:
  # DEBUG BEGIN_STMT
  # DEBUG pxEventBits => xEventGroup_22(D)
  # DEBUG BEGIN_STMT
  # DEBUG uxControlBits => 0
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG xTimeoutOccurred => 0
  # DEBUG BEGIN_STMT
  if (xEventGroup_22(D) == 0B)
    goto <bb 3>; [30.00%]
  else
    goto <bb 5>; [70.00%]

  <bb 3> [local count: 92035]:
  # DEBUG BEGIN_STMT
  # DEBUG INLINE_ENTRY vPortRaiseBASEPRI
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_45 : "i" 16 : "memory");
  # DEBUG ulNewBASEPRI => ulNewBASEPRI_45

  <bb 4> [local count: 920350133]:
  # DEBUG ulNewBASEPRI => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 34> [local count: 920350133]:
  goto <bb 4>; [100.00%]

  <bb 5> [local count: 214748]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = uxBitsToWaitFor_23(D) & 4278190080;
  if (_1 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 8>; [50.00%]

  <bb 6> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG INLINE_ENTRY vPortRaiseBASEPRI
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_30 : "i" 16 : "memory");
  # DEBUG ulNewBASEPRI => ulNewBASEPRI_30

  <bb 7> [local count: 1073741823]:
  # DEBUG ulNewBASEPRI => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 35> [local count: 1073741824]:
  goto <bb 7>; [100.00%]

  <bb 8> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (uxBitsToWaitFor_23(D) == 0)
    goto <bb 9>; [67.00%]
  else
    goto <bb 11>; [33.00%]

  <bb 9> [local count: 71941]:
  # DEBUG BEGIN_STMT
  # DEBUG INLINE_ENTRY vPortRaiseBASEPRI
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_49 : "i" 16 : "memory");
  # DEBUG ulNewBASEPRI => ulNewBASEPRI_49

  <bb 10> [local count: 719407021]:
  # DEBUG ulNewBASEPRI => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 36> [local count: 719407021]:
  goto <bb 10>; [100.00%]

  <bb 11> [local count: 35433]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _2 = xTaskGetSchedulerState ();
  if (_2 != 0)
    goto <bb 15>; [33.00%]
  else
    goto <bb 12>; [67.00%]

  <bb 12> [local count: 23740]:
  if (xTicksToWait_26(D) == 0)
    goto <bb 15>; [50.00%]
  else
    goto <bb 13>; [50.00%]

  <bb 13> [local count: 11870]:
  # DEBUG BEGIN_STMT
  # DEBUG INLINE_ENTRY vPortRaiseBASEPRI
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_50 : "i" 16 : "memory");
  # DEBUG ulNewBASEPRI => ulNewBASEPRI_50

  <bb 14> [local count: 118702158]:
  # DEBUG ulNewBASEPRI => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 37> [local count: 118702158]:
  goto <bb 14>; [100.00%]

  <bb 15> [local count: 23563]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  vTaskSuspendAll ();
  # DEBUG BEGIN_STMT
  uxCurrentEventBits_28 = MEM[(struct EventGroup_t *)xEventGroup_22(D)].uxEventBits;
  # DEBUG uxCurrentEventBits => uxCurrentEventBits_28
  # DEBUG BEGIN_STMT
  xWaitConditionMet_31 = prvTestWaitCondition (uxCurrentEventBits_28, uxBitsToWaitFor_23(D), xWaitForAllBits_29(D));
  # DEBUG xWaitConditionMet => xWaitConditionMet_31
  # DEBUG BEGIN_STMT
  if (xWaitConditionMet_31 != 0)
    goto <bb 16>; [50.00%]
  else
    goto <bb 18>; [50.00%]

  <bb 16> [local count: 11782]:
  # DEBUG BEGIN_STMT
  # DEBUG uxReturn => uxCurrentEventBits_28
  # DEBUG BEGIN_STMT
  # DEBUG xTicksToWait => 0
  # DEBUG BEGIN_STMT
  if (xClearOnExit_32(D) != 0)
    goto <bb 17>; [50.00%]
  else
    goto <bb 24>; [50.00%]

  <bb 17> [local count: 5891]:
  # DEBUG BEGIN_STMT
  _3 = ~uxBitsToWaitFor_23(D);
  _4 = _3 & uxCurrentEventBits_28;
  MEM[(struct EventGroup_t *)xEventGroup_22(D)].uxEventBits = _4;
  goto <bb 24>; [100.00%]

  <bb 18> [local count: 11782]:
  # DEBUG BEGIN_STMT
  if (xTicksToWait_26(D) == 0)
    goto <bb 24>; [50.00%]
  else
    goto <bb 19>; [50.00%]

  <bb 19> [local count: 5891]:
  # DEBUG BEGIN_STMT
  if (xClearOnExit_32(D) != 0)
    goto <bb 20>; [50.00%]
  else
    goto <bb 21>; [50.00%]

  <bb 20> [local count: 2945]:
  # DEBUG BEGIN_STMT
  # DEBUG uxControlBits => 16777216

  <bb 21> [local count: 5891]:
  # uxControlBits_15 = PHI <0(19), 16777216(20)>
  # DEBUG uxControlBits => uxControlBits_15
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (xWaitForAllBits_29(D) != 0)
    goto <bb 22>; [50.00%]
  else
    goto <bb 23>; [50.00%]

  <bb 22> [local count: 2945]:
  # DEBUG BEGIN_STMT
  uxControlBits_33 = uxControlBits_15 | 67108864;
  # DEBUG uxControlBits => uxControlBits_33

  <bb 23> [local count: 5891]:
  # uxControlBits_16 = PHI <uxControlBits_15(21), uxControlBits_33(22)>
  # DEBUG uxControlBits => uxControlBits_16
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _5 = &MEM[(struct EventGroup_t *)xEventGroup_22(D)].xTasksWaitingForBits;
  _6 = uxControlBits_16 | uxBitsToWaitFor_23(D);
  vTaskPlaceOnUnorderedEventList (_5, _6, xTicksToWait_26(D));
  # DEBUG BEGIN_STMT
  # DEBUG uxReturn => 0

  <bb 24> [local count: 23563]:
  # xTicksToWait_11 = PHI <0(17), xTicksToWait_26(D)(18), xTicksToWait_26(D)(23), 0(16)>
  # uxReturn_12 = PHI <uxCurrentEventBits_28(17), uxCurrentEventBits_28(18), 0(23), uxCurrentEventBits_28(16)>
  # DEBUG xTimeoutOccurred => NULL
  # DEBUG uxReturn => uxReturn_12
  # DEBUG xTicksToWait => xTicksToWait_11
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  xAlreadyYielded_37 = xTaskResumeAll ();
  # DEBUG xAlreadyYielded => xAlreadyYielded_37
  # DEBUG BEGIN_STMT
  if (xTicksToWait_11 != 0)
    goto <bb 25>; [50.00%]
  else
    goto <bb 33>; [50.00%]

  <bb 25> [local count: 11782]:
  # DEBUG BEGIN_STMT
  if (xAlreadyYielded_37 == 0)
    goto <bb 26>; [50.00%]
  else
    goto <bb 27>; [50.00%]

  <bb 26> [local count: 5891]:
  # DEBUG BEGIN_STMT
  MEM[(volatile uint32_t *)3758157060B] ={v} 268435456;
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("dsb" :  :  : "memory");
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("isb");
  # DEBUG BEGIN_STMT

  <bb 27> [local count: 11782]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  uxReturn_42 = uxTaskResetEventItemValue ();
  # DEBUG uxReturn => uxReturn_42
  # DEBUG BEGIN_STMT
  _7 = uxReturn_42 & 33554432;
  if (_7 == 0)
    goto <bb 28>; [33.00%]
  else
    goto <bb 32>; [67.00%]

  <bb 28> [local count: 3888]:
  # DEBUG BEGIN_STMT
  vPortEnterCritical ();
  # DEBUG BEGIN_STMT
  uxReturn_44 = MEM[(struct EventGroup_t *)xEventGroup_22(D)].uxEventBits;
  # DEBUG uxReturn => uxReturn_44
  # DEBUG BEGIN_STMT
  _8 = prvTestWaitCondition (uxReturn_44, uxBitsToWaitFor_23(D), xWaitForAllBits_29(D));
  if (_8 != 0)
    goto <bb 29>; [50.00%]
  else
    goto <bb 31>; [50.00%]

  <bb 29> [local count: 1944]:
  # DEBUG BEGIN_STMT
  if (xClearOnExit_32(D) != 0)
    goto <bb 30>; [50.00%]
  else
    goto <bb 31>; [50.00%]

  <bb 30> [local count: 972]:
  # DEBUG BEGIN_STMT
  _9 = ~uxBitsToWaitFor_23(D);
  _10 = _9 & uxReturn_44;
  MEM[(struct EventGroup_t *)xEventGroup_22(D)].uxEventBits = _10;

  <bb 31> [local count: 3888]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG xTimeoutOccurred => 1
  # DEBUG BEGIN_STMT
  vPortExitCritical ();

  <bb 32> [local count: 11782]:
  # uxReturn_13 = PHI <uxReturn_42(27), uxReturn_44(31)>
  # DEBUG uxReturn => uxReturn_13
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  uxReturn_48 = uxReturn_13 & 16777215;
  # DEBUG uxReturn => uxReturn_48

  <bb 33> [local count: 23563]:
  # uxReturn_14 = PHI <uxReturn_12(24), uxReturn_48(32)>
  # DEBUG uxReturn => uxReturn_14
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return uxReturn_14;

}


xEventGroupSync (struct EventGroupDef_t * xEventGroup, const EventBits_t uxBitsToSet, const EventBits_t uxBitsToWaitFor, TickType_t xTicksToWait)
{
  uint32_t ulNewBASEPRI;
  uint32_t ulNewBASEPRI;
  uint32_t ulNewBASEPRI;
  BaseType_t xAlreadyYielded;
  EventBits_t uxReturn;
  EventBits_t uxOriginalBitValue;
  long unsigned int _1;
  long int _2;
  long unsigned int _3;
  long unsigned int _4;
  long unsigned int _5;
  long unsigned int _6;
  long unsigned int _7;
  struct List_t * _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  long unsigned int _13;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG pxEventBits => xEventGroup_23(D)
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG xTimeoutOccurred => 0
  # DEBUG BEGIN_STMT
  _1 = uxBitsToWaitFor_24(D) & 4278190080;
  if (_1 != 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 5>; [50.00%]

  <bb 3> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG INLINE_ENTRY vPortRaiseBASEPRI
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_47 : "i" 16 : "memory");
  # DEBUG ulNewBASEPRI => ulNewBASEPRI_47

  <bb 4> [local count: 1073741824]:
  # DEBUG ulNewBASEPRI => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 26> [local count: 1073741824]:
  goto <bb 4>; [100.00%]

  <bb 5> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (uxBitsToWaitFor_24(D) == 0)
    goto <bb 6>; [67.00%]
  else
    goto <bb 8>; [33.00%]

  <bb 6> [local count: 71941]:
  # DEBUG BEGIN_STMT
  # DEBUG INLINE_ENTRY vPortRaiseBASEPRI
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_48 : "i" 16 : "memory");
  # DEBUG ulNewBASEPRI => ulNewBASEPRI_48

  <bb 7> [local count: 719407023]:
  # DEBUG ulNewBASEPRI => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 27> [local count: 719407023]:
  goto <bb 7>; [100.00%]

  <bb 8> [local count: 35433]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _2 = xTaskGetSchedulerState ();
  if (_2 != 0)
    goto <bb 12>; [33.00%]
  else
    goto <bb 9>; [67.00%]

  <bb 9> [local count: 23740]:
  if (xTicksToWait_27(D) == 0)
    goto <bb 12>; [50.00%]
  else
    goto <bb 10>; [50.00%]

  <bb 10> [local count: 11870]:
  # DEBUG BEGIN_STMT
  # DEBUG INLINE_ENTRY vPortRaiseBASEPRI
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_49 : "i" 16 : "memory");
  # DEBUG ulNewBASEPRI => ulNewBASEPRI_49

  <bb 11> [local count: 118702159]:
  # DEBUG ulNewBASEPRI => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 28> [local count: 118702159]:
  goto <bb 11>; [100.00%]

  <bb 12> [local count: 23563]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  vTaskSuspendAll ();
  # DEBUG BEGIN_STMT
  uxOriginalBitValue_29 = MEM[(struct EventGroup_t *)xEventGroup_23(D)].uxEventBits;
  # DEBUG uxOriginalBitValue => uxOriginalBitValue_29
  # DEBUG BEGIN_STMT
  xEventGroupSetBits (xEventGroup_23(D), uxBitsToSet_30(D));
  # DEBUG BEGIN_STMT
  _3 = uxOriginalBitValue_29 | uxBitsToSet_30(D);
  _4 = _3 & uxBitsToWaitFor_24(D);
  if (_4 == uxBitsToWaitFor_24(D))
    goto <bb 13>; [34.00%]
  else
    goto <bb 14>; [66.00%]

  <bb 13> [local count: 8011]:
  # DEBUG BEGIN_STMT
  # DEBUG uxReturn => _3
  # DEBUG BEGIN_STMT
  _5 = MEM[(struct EventGroup_t *)xEventGroup_23(D)].uxEventBits;
  _6 = ~uxBitsToWaitFor_24(D);
  _7 = _5 & _6;
  MEM[(struct EventGroup_t *)xEventGroup_23(D)].uxEventBits = _7;
  # DEBUG BEGIN_STMT
  # DEBUG xTicksToWait => 0
  goto <bb 17>; [100.00%]

  <bb 14> [local count: 15552]:
  # DEBUG BEGIN_STMT
  if (xTicksToWait_27(D) != 0)
    goto <bb 15>; [33.00%]
  else
    goto <bb 16>; [67.00%]

  <bb 15> [local count: 5132]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _8 = &MEM[(struct EventGroup_t *)xEventGroup_23(D)].xTasksWaitingForBits;
  _9 = uxBitsToWaitFor_24(D) | 83886080;
  vTaskPlaceOnUnorderedEventList (_8, _9, xTicksToWait_27(D));
  # DEBUG BEGIN_STMT
  # DEBUG uxReturn => 0
  goto <bb 17>; [100.00%]

  <bb 16> [local count: 10420]:
  # DEBUG BEGIN_STMT
  uxReturn_32 = MEM[(struct EventGroup_t *)xEventGroup_23(D)].uxEventBits;
  # DEBUG uxReturn => uxReturn_32
  # DEBUG BEGIN_STMT
  # DEBUG xTimeoutOccurred => 1

  <bb 17> [local count: 23563]:
  # xTicksToWait_14 = PHI <0(13), xTicksToWait_27(D)(15), 0(16)>
  # uxReturn_15 = PHI <_3(13), 0(15), uxReturn_32(16)>
  # DEBUG uxReturn => uxReturn_15
  # DEBUG xTicksToWait => xTicksToWait_14
  # DEBUG BEGIN_STMT
  xAlreadyYielded_36 = xTaskResumeAll ();
  # DEBUG xAlreadyYielded => xAlreadyYielded_36
  # DEBUG BEGIN_STMT
  if (xTicksToWait_14 != 0)
    goto <bb 18>; [50.00%]
  else
    goto <bb 25>; [50.00%]

  <bb 18> [local count: 11782]:
  # DEBUG BEGIN_STMT
  if (xAlreadyYielded_36 == 0)
    goto <bb 19>; [50.00%]
  else
    goto <bb 20>; [50.00%]

  <bb 19> [local count: 5891]:
  # DEBUG BEGIN_STMT
  MEM[(volatile uint32_t *)3758157060B] ={v} 268435456;
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("dsb" :  :  : "memory");
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("isb");
  # DEBUG BEGIN_STMT

  <bb 20> [local count: 11782]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  uxReturn_41 = uxTaskResetEventItemValue ();
  # DEBUG uxReturn => uxReturn_41
  # DEBUG BEGIN_STMT
  _10 = uxReturn_41 & 33554432;
  if (_10 == 0)
    goto <bb 21>; [33.00%]
  else
    goto <bb 24>; [67.00%]

  <bb 21> [local count: 3888]:
  # DEBUG BEGIN_STMT
  vPortEnterCritical ();
  # DEBUG BEGIN_STMT
  uxReturn_43 = MEM[(struct EventGroup_t *)xEventGroup_23(D)].uxEventBits;
  # DEBUG uxReturn => uxReturn_43
  # DEBUG BEGIN_STMT
  _11 = uxBitsToWaitFor_24(D) & uxReturn_43;
  if (_11 == uxBitsToWaitFor_24(D))
    goto <bb 22>; [34.00%]
  else
    goto <bb 23>; [66.00%]

  <bb 22> [local count: 1322]:
  # DEBUG BEGIN_STMT
  _12 = ~uxBitsToWaitFor_24(D);
  _13 = _12 & uxReturn_43;
  MEM[(struct EventGroup_t *)xEventGroup_23(D)].uxEventBits = _13;

  <bb 23> [local count: 3888]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  vPortExitCritical ();
  # DEBUG BEGIN_STMT
  # DEBUG xTimeoutOccurred => 1

  <bb 24> [local count: 11782]:
  # uxReturn_16 = PHI <uxReturn_41(20), uxReturn_43(23)>
  # DEBUG uxReturn => uxReturn_16
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  uxReturn_46 = uxReturn_16 & 16777215;
  # DEBUG uxReturn => uxReturn_46

  <bb 25> [local count: 23563]:
  # uxReturn_17 = PHI <uxReturn_15(17), uxReturn_46(24)>
  # DEBUG uxReturn => uxReturn_17
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return uxReturn_17;

}


xEventGroupCreate ()
{
  struct EventGroup_t * pxEventBits;
  struct List_t * _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pxEventBits_5 = pvPortMalloc (28);
  # DEBUG pxEventBits => pxEventBits_5
  # DEBUG BEGIN_STMT
  if (pxEventBits_5 != 0B)
    goto <bb 3>; [53.47%]
  else
    goto <bb 4>; [46.53%]

  <bb 3> [local count: 574129754]:
  # DEBUG BEGIN_STMT
  pxEventBits_5->uxEventBits = 0;
  # DEBUG BEGIN_STMT
  _1 = &pxEventBits_5->xTasksWaitingForBits;
  vListInitialise (_1);
  # DEBUG BEGIN_STMT

  <bb 4> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return pxEventBits_5;

}


