undefined_handler ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 2>; [INV]

}


__attribute__((weak))
SysTick_Handler ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 2>; [INV]

}


__attribute__((weak))
PendSV_Handler ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 2>; [INV]

}


__attribute__((weak))
DebugMon_Handler ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 2>; [INV]

}


SVCHandler_main (unsigned int * svc_args)
{
  unsigned int svc_number;
  unsigned int * _1;
  unsigned int _2;
  sizetype _3;
  unsigned char * _4;
  unsigned char _5;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = svc_args_7(D) + 24;
  _2 = *_1;
  _3 = _2 + 4294967294;
  _4 = (unsigned char *) _3;
  _5 = *_4;
  svc_number_9 = (unsigned int) _5;
  # DEBUG svc_number => svc_number_9
  # DEBUG BEGIN_STMT
  switch (svc_number_9) <default: <L6> [INV], case 0: <L1> [INV], case 1: <L0> [INV], case 2: <L2> [INV], case 3: <L3> [INV]>

  <bb 3> :
<L0>:
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("mov   r0, #0x1");
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("msr   CONTROL, r0");
  # DEBUG BEGIN_STMT
  goto <bb 7>; [INV]

  <bb 4> :
<L1>:
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("mov   r0, #0x0");
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("msr   CONTROL, r0");
  # DEBUG BEGIN_STMT
  goto <bb 7>; [INV]

  <bb 5> :
<L2>:
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("mov   r0, #0x0");
  # DEBUG BEGIN_STMT
  __asm__ __volatile__(" msr BASEPRI, r0");
  # DEBUG BEGIN_STMT
  goto <bb 7>; [INV]

  <bb 6> :
<L3>:
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("mov   r0, #0x10");
  # DEBUG BEGIN_STMT
  __asm__ __volatile__(" msr BASEPRI, r0");
  # DEBUG BEGIN_STMT

  <bb 7> :
<L6>:
  return;

}


__attribute__((weak))
SVC_Handler ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 2>; [INV]

}


__attribute__((weak))
UsageFault_Handler ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 2>; [INV]

}


__attribute__((weak))
BusFault_Handler ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 2>; [INV]

}


__attribute__((weak))
MemManage_Handler ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 2>; [INV]

}


__attribute__((weak))
HardFault_Handler ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 2>; [INV]

}


__attribute__((weak))
NMI_Handler ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 2>; [INV]

}


