Symbol table:

xTaskIncrementTick/22 (xTaskIncrementTick) @06bc47e0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: SysTick_Handler/17 
  Calls: 
vTaskSwitchContext/21 (vTaskSwitchContext) @06bc41c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: xPortStartScheduler/12 
  Calls: 
vPortValidateInterruptPriority/20 (vPortValidateInterruptPriority) @06bbf9a0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: ucMaxSysCallPriority/5 (read)ulMaxPRIGROUPValue/6 (read)
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
vPortEnableVFP/19 (vPortEnableVFP) @06bbf620
  Type: function definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: xPortStartScheduler/12 
  Calls: 
vPortSetupTimerInterrupt/18 (vPortSetupTimerInterrupt) @06bbf2a0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public weak
  References: 
  Referring: 
  Availability: overwritable
  Function flags: body
  Called by: xPortStartScheduler/12 
  Calls: 
SysTick_Handler/17 (SysTick_Handler) @06bbf000
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: xTaskIncrementTick/22 
PendSV_Handler/16 (PendSV_Handler) @06bb5a80
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
vPortExitCritical/15 (vPortExitCritical) @06bb50e0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: uxCriticalNesting/4 (read)uxCriticalNesting/4 (read)uxCriticalNesting/4 (write)uxCriticalNesting/4 (read)
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
vPortEnterCritical/14 (vPortEnterCritical) @06bb5c40
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: uxCriticalNesting/4 (read)uxCriticalNesting/4 (write)uxCriticalNesting/4 (read)
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
vPortEndScheduler/13 (vPortEndScheduler) @06bb59a0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: uxCriticalNesting/4 (read)
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
xPortStartScheduler/12 (xPortStartScheduler) @06bb5620
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: ucMaxSysCallPriority/5 (write)ulMaxPRIGROUPValue/6 (write)ulMaxPRIGROUPValue/6 (read)ulMaxPRIGROUPValue/6 (write)ulMaxPRIGROUPValue/6 (read)ulMaxPRIGROUPValue/6 (read)ulMaxPRIGROUPValue/6 (write)ulMaxPRIGROUPValue/6 (read)ulMaxPRIGROUPValue/6 (write)uxCriticalNesting/4 (write)
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: prvTaskExitError/9 vTaskSwitchContext/21 prvPortStartFirstTask/11 vPortEnableVFP/19 vPortSetupTimerInterrupt/18 
prvPortStartFirstTask/11 (prvPortStartFirstTask) @06bb5380
  Type: function definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: xPortStartScheduler/12 
  Calls: 
SVC_Handler/10 (SVC_Handler) @06bb5000
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
prvTaskExitError/9 (prvTaskExitError) @06bb0a80
  Type: function definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  Address is taken.
  References: uxCriticalNesting/4 (read)
  Referring: pxPortInitialiseStack/8 (addr)
  Availability: available
  Function flags: body
  Called by: xPortStartScheduler/12 
  Calls: 
pxPortInitialiseStack/8 (pxPortInitialiseStack) @06bb0c40
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: prvTaskExitError/9 (addr)
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
pcInterruptPriorityRegisters/7 (pcInterruptPriorityRegisters) @06baf438
  Type: variable definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: 
  Referring: 
  Availability: available
  Varpool flags: initialized read-only const-value-known
ulMaxPRIGROUPValue/6 (ulMaxPRIGROUPValue) @06baf3a8
  Type: variable definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: 
  Referring: xPortStartScheduler/12 (write)xPortStartScheduler/12 (write)xPortStartScheduler/12 (read)xPortStartScheduler/12 (write)xPortStartScheduler/12 (read)xPortStartScheduler/12 (read)xPortStartScheduler/12 (write)xPortStartScheduler/12 (read)vPortValidateInterruptPriority/20 (read)
  Availability: available
  Varpool flags: initialized
ucMaxSysCallPriority/5 (ucMaxSysCallPriority) @06baf318
  Type: variable definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: 
  Referring: xPortStartScheduler/12 (write)vPortValidateInterruptPriority/20 (read)
  Availability: available
  Varpool flags: initialized
uxCriticalNesting/4 (uxCriticalNesting) @06baf1b0
  Type: variable definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: 
  Referring: vPortEndScheduler/13 (read)vPortEnterCritical/14 (read)vPortExitCritical/15 (read)vPortEnterCritical/14 (read)vPortEnterCritical/14 (write)prvTaskExitError/9 (read)vPortExitCritical/15 (read)vPortExitCritical/15 (read)vPortExitCritical/15 (write)xPortStartScheduler/12 (write)
  Availability: available
  Varpool flags: initialized
vPortValidateInterruptPriority ()
{
  uint32_t ulNewBASEPRI;
  uint32_t ulNewBASEPRI;
  uint8_t ucCurrentPriority;
  uint32_t ulCurrentInterrupt;
  const uint8_t * pcInterruptPriorityRegisters.19_1;
  const uint8_t * _2;
  unsigned char ucMaxSysCallPriority.20_3;
  volatile uint32_t * _4;
  long unsigned int _5;
  long unsigned int _6;
  long unsigned int ulMaxPRIGROUPValue.21_7;

  <bb 2> :
  __asm__ __volatile__("mrs %0, ipsr" : "=r" ulCurrentInterrupt_10 :  : "memory");
  if (ulCurrentInterrupt_10 > 15)
    goto <bb 3>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 3> :
  pcInterruptPriorityRegisters.19_1 = 3758154736B;
  _2 = pcInterruptPriorityRegisters.19_1 + ulCurrentInterrupt_10;
  ucCurrentPriority_11 ={v} *_2;
  ucMaxSysCallPriority.20_3 = ucMaxSysCallPriority;
  if (ucCurrentPriority_11 < ucMaxSysCallPriority.20_3)
    goto <bb 4>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 4> :
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_12 : "i" 16 : "memory");

  <bb 5> :

  <bb 6> :
  goto <bb 6>; [INV]

  <bb 7> :
  _4 = 3758157068B;
  _5 ={v} *_4;
  _6 = _5 & 1792;
  ulMaxPRIGROUPValue.21_7 = ulMaxPRIGROUPValue;
  if (_6 > ulMaxPRIGROUPValue.21_7)
    goto <bb 8>; [INV]
  else
    goto <bb 11>; [INV]

  <bb 8> :
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_13 : "i" 16 : "memory");

  <bb 9> :

  <bb 10> :
  goto <bb 10>; [INV]

  <bb 11> :
  return;

}


__attribute__((naked, noinline, noclone))
vPortEnableVFP ()
{
  <bb 2> :
  __asm__ __volatile__("	ldr.w r0, =0xE000ED88		
	ldr r1, [r0]				
								
	orr r1, r1, #( 0xf << 20 )	
	str r1, [r0]				
	bx r14						
	.ltorg						
");
  return;

}


__attribute__((weak))
vPortSetupTimerInterrupt ()
{
  volatile uint32_t * _1;
  volatile uint32_t * _2;
  volatile uint32_t * _3;
  volatile uint32_t * _4;

  <bb 2> :
  _1 = 3758153744B;
  *_1 ={v} 0;
  _2 = 3758153752B;
  *_2 ={v} 0;
  _3 = 3758153748B;
  *_3 ={v} 47999;
  _4 = 3758153744B;
  *_4 ={v} 7;
  return;

}


SysTick_Handler ()
{
  uint32_t ulNewMaskValue;
  uint32_t ulNewBASEPRI;
  long int _1;
  volatile uint32_t * _2;

  <bb 2> :
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_7 : "i" 16 : "memory");

  <bb 3> :
  _1 = xTaskIncrementTick ();
  if (_1 != 0)
    goto <bb 4>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 4> :
  _2 = 3758157060B;
  *_2 ={v} 268435456;

  <bb 5> :
  ulNewMaskValue_8 = 0;
  __asm__ __volatile__("	msr basepri, %0	" :  : "r" ulNewMaskValue_8 : "memory");

  <bb 6> :
  return;

}


__attribute__((naked, noinline, noclone))
PendSV_Handler ()
{
  <bb 2> :
  __asm__ __volatile__("	mrs r0, psp							
	isb									
										
	ldr	r3, pxCurrentTCBConst			
	ldr	r2, [r3]						
										
	tst r14, #0x10						
	it eq								
	vstmdbeq r0!, {s16-s31}				
										
	stmdb r0!, {r4-r11, r14}			
	str r0, [r2]						
										
	stmdb sp!, {r0, r3}					
	mov r0, %0 							
	msr basepri, r0						
	dsb									
	isb									
	bl vTaskSwitchContext				
	mov r0, #0							
	msr basepri, r0						
	ldmia sp!, {r0, r3}					
										
	ldr r1, [r3]						
	ldr r0, [r1]						
										
	ldmia r0!, {r4-r11, r14}			
										
	tst r14, #0x10						
	it eq								
	vldmiaeq r0!, {s16-s31}				
										
	msr psp, r0							
	isb									
										
										
	bx r14								
										
	.align 4							
pxCurrentTCBConst: .word pxCurrentTCB	
" :  : "i" 16);
  return;

}


vPortExitCritical ()
{
  uint32_t ulNewMaskValue;
  uint32_t ulNewBASEPRI;
  long unsigned int uxCriticalNesting.16_1;
  long unsigned int uxCriticalNesting.17_2;
  long unsigned int _3;
  long unsigned int uxCriticalNesting.18_4;

  <bb 2> :
  uxCriticalNesting.16_1 = uxCriticalNesting;
  if (uxCriticalNesting.16_1 == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 3> :
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_8 : "i" 16 : "memory");

  <bb 4> :

  <bb 5> :
  goto <bb 5>; [INV]

  <bb 6> :
  uxCriticalNesting.17_2 = uxCriticalNesting;
  _3 = uxCriticalNesting.17_2 + 4294967295;
  uxCriticalNesting = _3;
  uxCriticalNesting.18_4 = uxCriticalNesting;
  if (uxCriticalNesting.18_4 == 0)
    goto <bb 7>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 7> :
  ulNewMaskValue_9 = 0;
  __asm__ __volatile__("	msr basepri, %0	" :  : "r" ulNewMaskValue_9 : "memory");

  <bb 8> :

  <bb 9> :
  return;

}


vPortEnterCritical ()
{
  uint32_t ulNewBASEPRI;
  uint32_t ulNewBASEPRI;
  long unsigned int uxCriticalNesting.14_1;
  long unsigned int _2;
  long unsigned int uxCriticalNesting.15_3;
  volatile uint32_t * _4;
  long unsigned int _5;
  long unsigned int _6;

  <bb 2> :
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_9 : "i" 16 : "memory");

  <bb 3> :
  uxCriticalNesting.14_1 = uxCriticalNesting;
  _2 = uxCriticalNesting.14_1 + 1;
  uxCriticalNesting = _2;
  uxCriticalNesting.15_3 = uxCriticalNesting;
  if (uxCriticalNesting.15_3 == 1)
    goto <bb 4>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 4> :
  _4 = 3758157060B;
  _5 ={v} *_4;
  _6 = _5 & 255;
  if (_6 != 0)
    goto <bb 5>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 5> :
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_10 : "i" 16 : "memory");

  <bb 6> :

  <bb 7> :
  goto <bb 7>; [INV]

  <bb 8> :
  return;

}


vPortEndScheduler ()
{
  uint32_t ulNewBASEPRI;
  long unsigned int uxCriticalNesting.13_1;

  <bb 2> :
  uxCriticalNesting.13_1 = uxCriticalNesting;
  if (uxCriticalNesting.13_1 != 1000)
    goto <bb 3>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 3> :
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_3 : "i" 16 : "memory");

  <bb 4> :

  <bb 5> :
  goto <bb 5>; [INV]

  <bb 6> :
  return;

}


xPortStartScheduler ()
{
  uint32_t ulNewBASEPRI;
  uint32_t ulNewBASEPRI;
  uint32_t ulNewBASEPRI;
  volatile uint8_t ucMaxPriorityValue;
  volatile uint8_t * const pucFirstUserPriorityRegister;
  volatile uint32_t ulOriginalPriority;
  BaseType_t D.5855;
  volatile uint32_t * _1;
  long unsigned int _2;
  volatile uint32_t * _3;
  long unsigned int _4;
  unsigned char _5;
  long unsigned int _6;
  unsigned char _7;
  unsigned char ucMaxPriorityValue.5_8;
  unsigned char _9;
  long unsigned int ulMaxPRIGROUPValue.6_10;
  long unsigned int _11;
  unsigned char ucMaxPriorityValue.7_12;
  unsigned char _13;
  unsigned char ucMaxPriorityValue.8_14;
  int _15;
  int _16;
  long unsigned int ulMaxPRIGROUPValue.9_17;
  long unsigned int _18;
  long unsigned int ulMaxPRIGROUPValue.10_19;
  long unsigned int _20;
  long unsigned int ulMaxPRIGROUPValue.11_21;
  long unsigned int _22;
  long unsigned int ulOriginalPriority.12_23;
  unsigned char _24;
  volatile uint32_t * _25;
  long unsigned int _26;
  volatile uint32_t * _27;
  long unsigned int _28;
  volatile uint32_t * _29;
  long unsigned int _30;
  volatile uint32_t * _31;
  long unsigned int _32;
  volatile uint32_t * _33;
  long unsigned int _34;
  volatile uint32_t * _35;
  long unsigned int _36;
  BaseType_t _57;

  <bb 2> :

  <bb 3> :
  _1 = 3758157056B;
  _2 ={v} *_1;
  if (_2 == 1091551857)
    goto <bb 4>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 4> :
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_60 : "i" 16 : "memory");

  <bb 5> :

  <bb 6> :
  goto <bb 6>; [INV]

  <bb 7> :
  _3 = 3758157056B;
  _4 ={v} *_3;
  if (_4 == 1091551856)
    goto <bb 8>; [INV]
  else
    goto <bb 11>; [INV]

  <bb 8> :
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_61 : "i" 16 : "memory");

  <bb 9> :

  <bb 10> :
  goto <bb 10>; [INV]

  <bb 11> :
  pucFirstUserPriorityRegister_39 = 3758154752B;
  _5 ={v} *pucFirstUserPriorityRegister_39;
  _6 = (long unsigned int) _5;
  ulOriginalPriority ={v} _6;
  *pucFirstUserPriorityRegister_39 ={v} 255;
  _7 ={v} *pucFirstUserPriorityRegister_39;
  ucMaxPriorityValue ={v} _7;
  ucMaxPriorityValue.5_8 ={v} ucMaxPriorityValue;
  _9 = ucMaxPriorityValue.5_8 & 16;
  ucMaxSysCallPriority = _9;
  ulMaxPRIGROUPValue = 7;
  goto <bb 13>; [INV]

  <bb 12> :
  ulMaxPRIGROUPValue.6_10 = ulMaxPRIGROUPValue;
  _11 = ulMaxPRIGROUPValue.6_10 + 4294967295;
  ulMaxPRIGROUPValue = _11;
  ucMaxPriorityValue.7_12 ={v} ucMaxPriorityValue;
  _13 = ucMaxPriorityValue.7_12 << 1;
  ucMaxPriorityValue ={v} _13;

  <bb 13> :
  ucMaxPriorityValue.8_14 ={v} ucMaxPriorityValue;
  _15 = (int) ucMaxPriorityValue.8_14;
  _16 = _15 & 128;
  if (_16 == 128)
    goto <bb 12>; [INV]
  else
    goto <bb 14>; [INV]

  <bb 14> :
  ulMaxPRIGROUPValue.9_17 = ulMaxPRIGROUPValue;
  _18 = 7 - ulMaxPRIGROUPValue.9_17;
  if (_18 != 4)
    goto <bb 15>; [INV]
  else
    goto <bb 18>; [INV]

  <bb 15> :
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_62 : "i" 16 : "memory");

  <bb 16> :

  <bb 17> :
  goto <bb 17>; [INV]

  <bb 18> :
  ulMaxPRIGROUPValue.10_19 = ulMaxPRIGROUPValue;
  _20 = ulMaxPRIGROUPValue.10_19 << 8;
  ulMaxPRIGROUPValue = _20;
  ulMaxPRIGROUPValue.11_21 = ulMaxPRIGROUPValue;
  _22 = ulMaxPRIGROUPValue.11_21 & 1792;
  ulMaxPRIGROUPValue = _22;
  ulOriginalPriority.12_23 ={v} ulOriginalPriority;
  _24 = (unsigned char) ulOriginalPriority.12_23;
  *pucFirstUserPriorityRegister_39 ={v} _24;
  _25 = 3758157088B;
  _26 ={v} *_25;
  _27 = 3758157088B;
  _28 = _26 | 15728640;
  *_27 ={v} _28;
  _29 = 3758157088B;
  _30 ={v} *_29;
  _31 = 3758157088B;
  _32 = _30 | 4026531840;
  *_31 ={v} _32;
  vPortSetupTimerInterrupt ();
  uxCriticalNesting = 0;
  vPortEnableVFP ();
  _33 = 3758157620B;
  _34 ={v} *_33;
  _35 = 3758157620B;
  _36 = _34 | 3221225472;
  *_35 ={v} _36;
  prvPortStartFirstTask ();
  vTaskSwitchContext ();
  prvTaskExitError ();
  _57 = 0;

  <bb 19> :
<L15>:
  return _57;

}


__attribute__((naked, noinline, noclone))
prvPortStartFirstTask ()
{
  <bb 2> :
  __asm__ __volatile__(" ldr r0, =0xE000ED08 	
 ldr r0, [r0] 			
 ldr r0, [r0] 			
 msr msp, r0			
 mov r0, #0			
 msr control, r0		
 cpsie i				
 cpsie f				
 dsb					
 isb					
 svc 0					
 nop					
 .ltorg				
");
  return;

}


__attribute__((naked, noinline, noclone))
SVC_Handler ()
{
  <bb 2> :
  __asm__ __volatile__("	ldr	r3, pxCurrentTCBConst2		
	ldr r1, [r3]					
	ldr r0, [r1]					
	ldmia r0!, {r4-r11, r14}		
	msr psp, r0						
	isb								
	mov r0, #0 						
	msr	basepri, r0					
	bx r14							
									
	.align 4						
pxCurrentTCBConst2: .word pxCurrentTCB				
");
  return;

}


prvTaskExitError ()
{
  uint32_t ulNewBASEPRI;
  uint32_t ulNewBASEPRI;
  volatile uint32_t ulDummy;
  long unsigned int uxCriticalNesting.3_1;
  long unsigned int ulDummy.4_2;

  <bb 2> :
  ulDummy ={v} 0;
  uxCriticalNesting.3_1 = uxCriticalNesting;
  if (uxCriticalNesting.3_1 != 4294967295)
    goto <bb 3>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 3> :
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_5 : "i" 16 : "memory");

  <bb 4> :

  <bb 5> :
  goto <bb 5>; [INV]

  <bb 6> :
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI_6 : "i" 16 : "memory");

  <bb 7> :

  <bb 8> :
  ulDummy.4_2 ={v} ulDummy;
  if (ulDummy.4_2 == 0)
    goto <bb 8>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 9> :
  return;

}


pxPortInitialiseStack (StackType_t * pxTopOfStack, void (*TaskFunction_t) (void *) pxCode, void * pvParameters)
{
  StackType_t * D.5843;
  long unsigned int pxCode.0_1;
  long unsigned int _2;
  long unsigned int prvTaskExitError.1_3;
  long unsigned int pvParameters.2_4;
  StackType_t * _20;

  <bb 2> :
  pxTopOfStack_6 = pxTopOfStack_5(D) + 4294967292;
  *pxTopOfStack_6 = 16777216;
  pxTopOfStack_9 = pxTopOfStack_6 + 4294967292;
  pxCode.0_1 = (long unsigned int) pxCode_10(D);
  _2 = pxCode.0_1 & 4294967294;
  *pxTopOfStack_9 = _2;
  pxTopOfStack_12 = pxTopOfStack_9 + 4294967292;
  prvTaskExitError.1_3 = (long unsigned int) prvTaskExitError;
  *pxTopOfStack_12 = prvTaskExitError.1_3;
  pxTopOfStack_14 = pxTopOfStack_12 + 4294967276;
  pvParameters.2_4 = (long unsigned int) pvParameters_15(D);
  *pxTopOfStack_14 = pvParameters.2_4;
  pxTopOfStack_17 = pxTopOfStack_14 + 4294967292;
  *pxTopOfStack_17 = 4294967293;
  pxTopOfStack_19 = pxTopOfStack_17 + 4294967264;
  _20 = pxTopOfStack_19;

  <bb 3> :
<L0>:
  return _20;

}


