setupCanTJA1153 (int instance, struct Siul2_Dio_Ip_GpioType * const stb_port, Siul2_Dio_Ip_PinsChannelType stb_pin)
{
  uint8_t sendData[8];
  struct Flexcan_Ip_DataInfoType tx_info;
  unsigned char _1;
  unsigned char _2;
  unsigned char _3;
  unsigned char _4;
  unsigned char _5;

  <bb 2> :
  # DEBUG BEGIN_STMT
  tx_info.msg_id_type = 0;
  tx_info.data_length = 8;
  tx_info.fd_enable = 0;
  tx_info.fd_padding = 0;
  tx_info.enable_brs = 0;
  tx_info.is_remote = 0;
  tx_info.is_polling = 0;
  # DEBUG BEGIN_STMT
  sendData = "\x00\x00\x00\x00\x00\x00\x00";
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (stb_port_15(D), stb_pin_16(D), 0);
  # DEBUG BEGIN_STMT
  tx_info.is_polling = 1;
  # DEBUG BEGIN_STMT
  tx_info.msg_id_type = 0;
  # DEBUG BEGIN_STMT
  tx_info.data_length = 0;
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) instance_21(D);
  FlexCAN_Ip_SendBlocking (_1, 0, &tx_info, 1365, &sendData, 100);
  # DEBUG BEGIN_STMT
  sendData[0] = 16;
  # DEBUG BEGIN_STMT
  sendData[1] = 0;
  # DEBUG BEGIN_STMT
  sendData[2] = 80;
  # DEBUG BEGIN_STMT
  sendData[3] = 0;
  # DEBUG BEGIN_STMT
  sendData[4] = 7;
  # DEBUG BEGIN_STMT
  sendData[5] = 255;
  # DEBUG BEGIN_STMT
  tx_info.msg_id_type = 1;
  # DEBUG BEGIN_STMT
  tx_info.data_length = 6;
  # DEBUG BEGIN_STMT
  _2 = (unsigned char) instance_21(D);
  FlexCAN_Ip_SendBlocking (_2, 0, &tx_info, 416940273, &sendData, 100);
  # DEBUG BEGIN_STMT
  sendData[0] = 16;
  # DEBUG BEGIN_STMT
  sendData[1] = 1;
  # DEBUG BEGIN_STMT
  sendData[2] = 159;
  # DEBUG BEGIN_STMT
  sendData[3] = 255;
  # DEBUG BEGIN_STMT
  sendData[4] = 255;
  # DEBUG BEGIN_STMT
  sendData[5] = 255;
  # DEBUG BEGIN_STMT
  tx_info.msg_id_type = 1;
  # DEBUG BEGIN_STMT
  tx_info.data_length = 6;
  # DEBUG BEGIN_STMT
  _3 = (unsigned char) instance_21(D);
  FlexCAN_Ip_SendBlocking (_3, 0, &tx_info, 416940273, &sendData, 100);
  # DEBUG BEGIN_STMT
  sendData[0] = 16;
  # DEBUG BEGIN_STMT
  sendData[1] = 2;
  # DEBUG BEGIN_STMT
  sendData[2] = 192;
  # DEBUG BEGIN_STMT
  sendData[3] = 0;
  # DEBUG BEGIN_STMT
  sendData[4] = 0;
  # DEBUG BEGIN_STMT
  sendData[5] = 0;
  # DEBUG BEGIN_STMT
  tx_info.msg_id_type = 1;
  # DEBUG BEGIN_STMT
  tx_info.data_length = 6;
  # DEBUG BEGIN_STMT
  _4 = (unsigned char) instance_21(D);
  FlexCAN_Ip_SendBlocking (_4, 0, &tx_info, 416940273, &sendData, 100);
  # DEBUG BEGIN_STMT
  sendData[0] = 113;
  # DEBUG BEGIN_STMT
  sendData[1] = 2;
  # DEBUG BEGIN_STMT
  sendData[2] = 3;
  # DEBUG BEGIN_STMT
  sendData[3] = 4;
  # DEBUG BEGIN_STMT
  sendData[4] = 5;
  # DEBUG BEGIN_STMT
  sendData[5] = 6;
  # DEBUG BEGIN_STMT
  sendData[6] = 7;
  # DEBUG BEGIN_STMT
  sendData[7] = 8;
  # DEBUG BEGIN_STMT
  tx_info.msg_id_type = 1;
  # DEBUG BEGIN_STMT
  tx_info.data_length = 8;
  # DEBUG BEGIN_STMT
  _5 = (unsigned char) instance_21(D);
  FlexCAN_Ip_SendBlocking (_5, 0, &tx_info, 416940273, &sendData, 100);
  # DEBUG BEGIN_STMT
  tmr_delay (10);
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (stb_port_15(D), stb_pin_16(D), 1);
  tx_info ={v} {CLOBBER};
  sendData ={v} {CLOBBER};
  return;

}


debug_printf (char * msg)
{
  u8 len;
  u8 i;
  struct va_list argptr;
  char str[256];
  unsigned int _1;
  int _2;
  char _3;
  unsigned char i.38_4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  __builtin_va_start (&argptr, 0);
  # DEBUG BEGIN_STMT
  vsprintf (&str, msg_9(D), argptr);
  # DEBUG BEGIN_STMT
  __builtin_va_end (&argptr);
  # DEBUG BEGIN_STMT
  _1 = strlen (&str);
  len_12 = (u8) _1;
  # DEBUG len => len_12
  # DEBUG BEGIN_STMT
  i_13 = 0;
  # DEBUG i => i_13
  goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _2 = (int) i_5;
  _3 = str[_2];
  put_char (_3);
  # DEBUG BEGIN_STMT
  i.38_4 = i_5;
  i_17 = i.38_4 + 1;
  # DEBUG i => i_17

  <bb 4> :
  # i_5 = PHI <i_13(2), i_17(3)>
  # DEBUG i => i_5
  # DEBUG BEGIN_STMT
  if (i_5 < len_12)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 5> :
  str ={v} {CLOBBER};
  argptr ={v} {CLOBBER};
  return;

}


UART0_get_cmd ()
{
  int ret;
  char _1;
  int _2;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ret_6 = get_line (128);
  # DEBUG ret => ret_6
  # DEBUG BEGIN_STMT
  if (ret_6 == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = gb.cmd_buf[0];
  if (_1 == 0)
    goto <bb 4>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  // predicted unlikely by early return (on trees) predictor.
  goto <bb 8>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _2 = strcmp (&gb.cmd_buf, "test1");
  if (_2 == 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  debug_printf ("test1\r\n");
  goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  debug_printf ("Command not found : %s\r\n", &gb.cmd_buf);

  <bb 8> :
  return;

}


get_line (u32 max_len)
{
  unsigned int _1;
  char * _2;
  int _3;
  unsigned int _4;
  char _5;
  int _6;
  unsigned int _7;
  unsigned int _8;
  unsigned int _9;
  unsigned int _10;
  unsigned int _11;
  char _12;
  char _13;
  unsigned int _14;
  char _15;
  unsigned int _16;
  char _17;
  unsigned int _18;
  unsigned char _19;
  unsigned int _20;
  unsigned int _21;
  unsigned int _22;
  unsigned int _23;
  int _24;
  int _32;
  int _39;
  int _42;
  int _43;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = gb.cmd_idx;
  _2 = &gb.cmd_buf[_1];
  _3 = get_char (_2);
  if (_3 == 1)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _43 = 1;
  // predicted unlikely by early return (on trees) predictor.
  goto <bb 13>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _4 = gb.cmd_idx;
  _5 = gb.cmd_buf[_4];
  _6 = (int) _5;
  switch (_6) <default: <L7> [INV], case 8: <L4> [INV], case 10: <L2> [INV], case 13: <L2> [INV]>

  <bb 5> :
<L2>:
  # DEBUG BEGIN_STMT
  debug_printf ("\r\n");
  # DEBUG BEGIN_STMT
  _7 = gb.cmd_idx;
  gb.cmd_buf[_7] = 0;
  # DEBUG BEGIN_STMT
  gb.cmd_idx = 0;
  # DEBUG BEGIN_STMT
  _32 = 0;
  goto <bb 13>; [INV]

  <bb 6> :
<L4>:
  # DEBUG BEGIN_STMT
  _8 = gb.cmd_idx;
  if (_8 != 0)
    goto <bb 7>; [INV]
  else
    goto <bb 10>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  _9 = gb.cmd_idx;
  _10 = _9 + 4294967295;
  gb.cmd_idx = _10;
  # DEBUG BEGIN_STMT
  debug_printf ("\b \b");
  goto <bb 10>; [INV]

  <bb 8> :
<L7>:
  # DEBUG BEGIN_STMT
  _11 = gb.cmd_idx;
  _12 = gb.cmd_buf[_11];
  _13 = _12 + 224;
  if (_13 <= 94)
    goto <bb 9>; [INV]
  else
    goto <bb 10>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  _14 = gb.cmd_idx;
  _15 = gb.cmd_buf[_14];
  put_char (_15);
  # DEBUG BEGIN_STMT
  _16 = gb.cmd_idx;
  _17 = gb.cmd_buf[_16];
  _18 = gb.cmd_idx;
  _19 = _17 + 208;
  gb.cmd_buf_no[_18] = _19;
  # DEBUG BEGIN_STMT
  _20 = gb.cmd_idx;
  _21 = _20 + 1;
  gb.cmd_idx = _21;

  <bb 10> :
  # DEBUG BEGIN_STMT
  _22 = gb.cmd_idx;
  if (max_len_38(D) <= _22)
    goto <bb 11>; [INV]
  else
    goto <bb 12>; [INV]

  <bb 11> :
  # DEBUG BEGIN_STMT
  _23 = max_len_38(D) + 4294967295;
  gb.cmd_buf[_23] = 0;
  # DEBUG BEGIN_STMT
  gb.cmd_idx = 0;
  # DEBUG BEGIN_STMT
  _42 = 0;
  // predicted unlikely by early return (on trees) predictor.
  goto <bb 13>; [INV]

  <bb 12> :
  # DEBUG BEGIN_STMT
  _39 = 1;

  <bb 13> :
  # _24 = PHI <_43(3), _32(5), _42(11), _39(12)>
  return _24;

}


put_char (char ch)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_SyncSend (0, &ch, 1);
  return;

}


get_char (char * ch)
{
  unsigned int _1;
  unsigned int _2;
  unsigned int _3;
  char _4;
  unsigned int _5;
  unsigned int _6;
  unsigned int _7;
  int _8;
  int _14;
  int _15;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = gb.ubuf_head;
  _2 = gb.ubuf_tail;
  if (_1 == _2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _15 = 1;
  // predicted unlikely by early return (on trees) predictor.
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _3 = gb.ubuf_head;
  _4 = gb.ubuf[_3];
  *ch_11(D) = _4;
  # DEBUG BEGIN_STMT
  _5 = gb.ubuf_head;
  _6 = _5 + 1;
  _7 = _6 & 255;
  gb.ubuf_head = _7;
  # DEBUG BEGIN_STMT
  _14 = 0;

  <bb 5> :
  # _8 = PHI <_15(3), _14(4)>
  return _8;

}


register_bus_off_callback (int ch, void (*user_callback) (int) fp, int param)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  gb.can[ch_2(D)].bus_off_callback = fp_3(D);
  # DEBUG BEGIN_STMT
  gb.can[ch_2(D)].param = param_5(D);
  return;

}


Gvar_init ()
{
  u32 i;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  gb.ubuf_head = 0;
  # DEBUG BEGIN_STMT
  gb.ubuf_tail = 0;
  # DEBUG BEGIN_STMT
  i_8 = 0;
  # DEBUG i => i_8
  goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  gb.can[i_1].bus_off = 1;
  # DEBUG BEGIN_STMT
  i_15 = i_1 + 1;
  # DEBUG i => i_15

  <bb 4> :
  # i_1 = PHI <i_8(2), i_15(3)>
  # DEBUG i => i_1
  # DEBUG BEGIN_STMT
  if (i_1 <= 5)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  i_9 = 0;
  # DEBUG i => i_9
  goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  gb.can[i_2].bus_off_callback = 0B;
  # DEBUG BEGIN_STMT
  i_13 = i_2 + 1;
  # DEBUG i => i_13

  <bb 7> :
  # i_2 = PHI <i_9(5), i_13(6)>
  # DEBUG i => i_2
  # DEBUG BEGIN_STMT
  if (i_2 <= 5)
    goto <bb 6>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  gb.pwm_freq = 50000;
  # DEBUG BEGIN_STMT
  gb.pwm_max_tick = 3200;
  return;

}


UART9_RX_Callback (uint32_t instance, void * driverState, Lpuart_Uart_Ip_EventType event, void * userData)
{
  unsigned int _1;
  char _2;
  unsigned int _3;
  unsigned int _4;
  unsigned int _5;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (event_7(D) == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = gb.uart9_buf_tail;
  _2 = gb.uart9_temp[0];
  gb.uart9_buf[_1] = _2;
  # DEBUG BEGIN_STMT
  _3 = gb.uart9_buf_tail;
  _4 = _3 + 1;
  _5 = _4 & 255;
  gb.uart9_buf_tail = _5;
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_SetRxBuffer (instance_11(D), &gb.uart9_temp, 1);

  <bb 4> :
  return;

}


UART1_RX_Callback (uint32_t instance, void * driverState, Lpuart_Uart_Ip_EventType event, void * userData)
{
  unsigned int _1;
  char _2;
  unsigned int _3;
  unsigned int _4;
  unsigned int _5;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (event_7(D) == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = gb.uart1_buf_tail;
  _2 = gb.uart1_temp[0];
  gb.uart1_buf[_1] = _2;
  # DEBUG BEGIN_STMT
  _3 = gb.uart1_buf_tail;
  _4 = _3 + 1;
  _5 = _4 & 255;
  gb.uart1_buf_tail = _5;
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_SetRxBuffer (instance_11(D), &gb.uart1_temp, 1);

  <bb 4> :
  return;

}


UART13_RX_Callback (uint32_t instance, void * driverState, Lpuart_Uart_Ip_EventType event, void * userData)
{
  unsigned int _1;
  char _2;
  unsigned int _3;
  unsigned int _4;
  unsigned int _5;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (event_7(D) == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = gb.uart13_buf_tail;
  _2 = gb.uart13_temp[0];
  gb.uart13_buf[_1] = _2;
  # DEBUG BEGIN_STMT
  _3 = gb.uart13_buf_tail;
  _4 = _3 + 1;
  _5 = _4 & 255;
  gb.uart13_buf_tail = _5;
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_SetRxBuffer (instance_11(D), &gb.uart13_temp, 1);

  <bb 4> :
  return;

}


UART10_RX_Callback (uint32_t instance, void * driverState, Lpuart_Uart_Ip_EventType event, void * userData)
{
  unsigned int _1;
  char _2;
  unsigned int _3;
  unsigned int _4;
  unsigned int _5;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (event_7(D) == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = gb.uart10_buf_tail;
  _2 = gb.uart10_temp[0];
  gb.uart10_buf[_1] = _2;
  # DEBUG BEGIN_STMT
  _3 = gb.uart10_buf_tail;
  _4 = _3 + 1;
  _5 = _4 & 255;
  gb.uart10_buf_tail = _5;
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_SetRxBuffer (instance_11(D), &gb.uart10_temp, 1);

  <bb 4> :
  return;

}


UART2_RX_Callback (uint32_t instance, void * driverState, Lpuart_Uart_Ip_EventType event, void * userData)
{
  unsigned int _1;
  char _2;
  unsigned int _3;
  unsigned int _4;
  unsigned int _5;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (event_7(D) == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = gb.bbuf_tail;
  _2 = gb.btemp[0];
  gb.bbuf[_1] = _2;
  # DEBUG BEGIN_STMT
  _3 = gb.bbuf_tail;
  _4 = _3 + 1;
  _5 = _4 & 255;
  gb.bbuf_tail = _5;
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_SetRxBuffer (instance_11(D), &gb.btemp, 1);

  <bb 4> :
  return;

}


UART0_RX_Callback (uint32_t instance, void * driverState, Lpuart_Uart_Ip_EventType event, void * userData)
{
  unsigned int _1;
  char _2;
  unsigned int _3;
  unsigned int _4;
  unsigned int _5;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (event_7(D) == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = gb.ubuf_tail;
  _2 = gb.utemp[0];
  gb.ubuf[_1] = _2;
  # DEBUG BEGIN_STMT
  _3 = gb.ubuf_tail;
  _4 = _3 + 1;
  _5 = _4 & 255;
  gb.ubuf_tail = _5;
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_SetRxBuffer (instance_11(D), &gb.utemp, 1);

  <bb 4> :
  return;

}


Uart_Init ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (141);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (141, LPUART_UART_IP_0_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (143);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (143, LPUART_UART_IP_2_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (151);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (151, LPUART_UART_IP_10_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (154);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (154, LPUART_UART_IP_13_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_Init (0, &Lpuart_Uart_Ip_pHwConfigPB_0_BOARD_INITPERIPHERALS);
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_Init (2, &Lpuart_Uart_Ip_pHwConfigPB_2_BOARD_INITPERIPHERALS);
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_Init (10, &Lpuart_Uart_Ip_pHwConfigPB_10_BOARD_INITPERIPHERALS);
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_Init (13, &Lpuart_Uart_Ip_pHwConfigPB_13_BOARD_INITPERIPHERALS);
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_AsyncReceive (0, &gb.utemp, 1);
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_AsyncReceive (2, &gb.btemp, 1);
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_AsyncReceive (10, &gb.uart10_temp, 1);
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_AsyncReceive (13, &gb.uart13_temp, 1);
  return;

}


board_init ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  led_onoff (0);
  return;

}


Pit_Callback ()
{
  static uint8_t t = 0;
  unsigned char t.37_1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  long unsigned int _5;
  long unsigned int _6;
  long unsigned int _7;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  t.37_1 = t;
  if (t.37_1 == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  t = 1;
  # DEBUG BEGIN_STMT
  _2 ={v} gb.x500us;
  _3 = _2 + 1;
  gb.x500us ={v} _3;
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  uds_timer_interrupt ();
  # DEBUG BEGIN_STMT
  t = 0;
  # DEBUG BEGIN_STMT
  _4 ={v} gb.x500us;
  _5 = _4 + 1;
  gb.x500us ={v} _5;
  # DEBUG BEGIN_STMT
  _6 ={v} gb.tmr_cnt;
  _7 = _6 + 1;
  gb.tmr_cnt ={v} _7;

  <bb 5> :
  # DEBUG BEGIN_STMT
  task_500us ();
  return;

}


tmr_delay (u32 delay)
{
  volatile u64 elapse;
  volatile u64 start;
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int start.35_3;
  long unsigned int _4;
  long unsigned int elapse.36_5;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 ={v} gb.tmr_cnt;
  start ={v} _1;

  <bb 3> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _2 ={v} gb.tmr_cnt;
  start.35_3 ={v} start;
  _4 = _2 - start.35_3;
  elapse ={v} _4;
  # DEBUG BEGIN_STMT
  elapse.36_5 ={v} elapse;
  if (delay_10(D) < elapse.36_5)
    goto <bb 4>; [INV]
  else
    goto <bb 3>; [INV]

  <bb 4> :
  return;

}


Adc_Read_ch (uint8_t ch)
{
  long unsigned int _1;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = (long unsigned int) ch_2(D);
  Adc_Sar_Ip_StartConversion (_1, 0);
  return;

}


Adc2EndOfChainNoti ()
{
  short unsigned int _1;
  short unsigned int _2;
  short unsigned int _3;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = Adc_Sar_Ip_GetConvData (2, 3);
  gb.ADC2 = _1;
  # DEBUG BEGIN_STMT
  _2 = Adc_Sar_Ip_GetConvData (2, 4);
  gb.ADC3 = _2;
  # DEBUG BEGIN_STMT
  _3 = Adc_Sar_Ip_GetConvData (2, 5);
  gb.ADC4 = _3;
  return;

}


Adc1EndOfChainNoti ()
{
  short unsigned int _1;
  short unsigned int _2;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = Adc_Sar_Ip_GetConvData (1, 2);
  gb.ADC1 = _1;
  # DEBUG BEGIN_STMT
  _2 = Adc_Sar_Ip_GetConvData (1, 43);
  gb.AIN_bat = _2;
  return;

}


Adc0EndOfChainNoti ()
{
  short unsigned int _1;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = Adc_Sar_Ip_GetConvData (0, 6);
  gb.ADC0 = _1;
  return;

}


ADC_Read (uint8_t ADC_No)
{
  uint16_t ret;
  int _1;
  uint16_t _12;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) ADC_No_3(D);
  switch (_1) <default: <L6> [INV], case 0: <L0> [INV], case 1: <L1> [INV], case 2: <L2> [INV], case 3: <L3> [INV], case 4: <L4> [INV], case 5: <L5> [INV]>

  <bb 3> :
<L0>:
  # DEBUG BEGIN_STMT
  ret_10 = gb.ADC0;
  # DEBUG ret => ret_10
  # DEBUG BEGIN_STMT
  goto <bb 10>; [INV]

  <bb 4> :
<L1>:
  # DEBUG BEGIN_STMT
  ret_9 = gb.ADC1;
  # DEBUG ret => ret_9
  # DEBUG BEGIN_STMT
  goto <bb 10>; [INV]

  <bb 5> :
<L2>:
  # DEBUG BEGIN_STMT
  ret_8 = gb.ADC2;
  # DEBUG ret => ret_8
  # DEBUG BEGIN_STMT
  goto <bb 10>; [INV]

  <bb 6> :
<L3>:
  # DEBUG BEGIN_STMT
  ret_7 = gb.ADC3;
  # DEBUG ret => ret_7
  # DEBUG BEGIN_STMT
  goto <bb 10>; [INV]

  <bb 7> :
<L4>:
  # DEBUG BEGIN_STMT
  ret_6 = gb.ADC4;
  # DEBUG ret => ret_6
  # DEBUG BEGIN_STMT
  goto <bb 10>; [INV]

  <bb 8> :
<L5>:
  # DEBUG BEGIN_STMT
  ret_5 = gb.AIN_bat;
  # DEBUG ret => ret_5
  # DEBUG BEGIN_STMT
  goto <bb 10>; [INV]

  <bb 9> :
<L6>:
  # DEBUG BEGIN_STMT
  ret_11 = 255;
  # DEBUG ret => ret_11
  # DEBUG BEGIN_STMT

  <bb 10> :
  # ret_2 = PHI <ret_10(3), ret_9(4), ret_8(5), ret_7(6), ret_6(7), ret_5(8), ret_11(9)>
  # DEBUG ret => ret_2
  # DEBUG BEGIN_STMT
  _12 = ret_2;
  return _12;

}


Adc_Init ()
{
  uint8_t status;
  uint8_t retry;
  unsigned char retry.29_1;
  unsigned char retry.30_2;
  unsigned char retry.31_3;
  unsigned char retry.32_4;
  unsigned char retry.33_5;
  unsigned char retry.34_6;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  retry_31 = 0;
  # DEBUG retry => retry_31
  goto <bb 5>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  status_34 = Adc_Sar_Ip_Init (0, &AdcHwUnit_0_BOARD_INITPERIPHERALS);
  # DEBUG status => status_34
  # DEBUG BEGIN_STMT
  if (status_34 == 0)
    goto <bb 6>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  retry.29_1 = retry_7;
  retry_35 = retry.29_1 + 1;
  # DEBUG retry => retry_35

  <bb 5> :
  # retry_7 = PHI <retry_31(2), retry_35(4)>
  # DEBUG retry => retry_7
  # DEBUG BEGIN_STMT
  if (retry_7 <= 9)
    goto <bb 3>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  if (retry_7 > 9)
    goto <bb 7>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  debug_printf ("ADC[%d] Init failed\n", 0);

  <bb 8> :
  # DEBUG BEGIN_STMT
  retry_37 = 0;
  # DEBUG retry => retry_37
  goto <bb 11>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  status_39 = Adc_Sar_Ip_Init (1, &AdcHwUnit_1_BOARD_INITPERIPHERALS);
  # DEBUG status => status_39
  # DEBUG BEGIN_STMT
  if (status_39 == 0)
    goto <bb 12>; [INV]
  else
    goto <bb 10>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  retry.30_2 = retry_8;
  retry_40 = retry.30_2 + 1;
  # DEBUG retry => retry_40

  <bb 11> :
  # retry_8 = PHI <retry_37(8), retry_40(10)>
  # DEBUG retry => retry_8
  # DEBUG BEGIN_STMT
  if (retry_8 <= 9)
    goto <bb 9>; [INV]
  else
    goto <bb 12>; [INV]

  <bb 12> :
  # DEBUG BEGIN_STMT
  if (retry_8 > 9)
    goto <bb 13>; [INV]
  else
    goto <bb 14>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  debug_printf ("ADC[%d] Init failed\n", 1);

  <bb 14> :
  # DEBUG BEGIN_STMT
  retry_42 = 0;
  # DEBUG retry => retry_42
  goto <bb 17>; [INV]

  <bb 15> :
  # DEBUG BEGIN_STMT
  status_44 = Adc_Sar_Ip_Init (2, &AdcHwUnit_2_BOARD_INITPERIPHERALS);
  # DEBUG status => status_44
  # DEBUG BEGIN_STMT
  if (status_44 == 0)
    goto <bb 18>; [INV]
  else
    goto <bb 16>; [INV]

  <bb 16> :
  # DEBUG BEGIN_STMT
  retry.31_3 = retry_9;
  retry_45 = retry.31_3 + 1;
  # DEBUG retry => retry_45

  <bb 17> :
  # retry_9 = PHI <retry_42(14), retry_45(16)>
  # DEBUG retry => retry_9
  # DEBUG BEGIN_STMT
  if (retry_9 <= 9)
    goto <bb 15>; [INV]
  else
    goto <bb 18>; [INV]

  <bb 18> :
  # DEBUG BEGIN_STMT
  if (retry_9 > 9)
    goto <bb 19>; [INV]
  else
    goto <bb 20>; [INV]

  <bb 19> :
  # DEBUG BEGIN_STMT
  debug_printf ("ADC[%d] Init failed\n", 2);

  <bb 20> :
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (180, Adc_Sar_0_Isr, 0B);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (181, Adc_Sar_1_Isr, 0B);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (182, Adc_Sar_2_Isr, 0B);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (180);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (181);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (182);
  # DEBUG BEGIN_STMT
  retry_53 = 0;
  # DEBUG retry => retry_53
  goto <bb 23>; [INV]

  <bb 21> :
  # DEBUG BEGIN_STMT
  status_55 = Adc_Sar_Ip_DoCalibration (0);
  # DEBUG status => status_55
  # DEBUG BEGIN_STMT
  if (status_55 == 0)
    goto <bb 24>; [INV]
  else
    goto <bb 22>; [INV]

  <bb 22> :
  # DEBUG BEGIN_STMT
  retry.32_4 = retry_10;
  retry_56 = retry.32_4 + 1;
  # DEBUG retry => retry_56

  <bb 23> :
  # retry_10 = PHI <retry_53(20), retry_56(22)>
  # DEBUG retry => retry_10
  # DEBUG BEGIN_STMT
  if (retry_10 <= 9)
    goto <bb 21>; [INV]
  else
    goto <bb 24>; [INV]

  <bb 24> :
  # DEBUG BEGIN_STMT
  if (retry_10 > 9)
    goto <bb 25>; [INV]
  else
    goto <bb 26>; [INV]

  <bb 25> :
  # DEBUG BEGIN_STMT
  debug_printf ("ADC[%d] Calibration failed\n", 0);

  <bb 26> :
  # DEBUG BEGIN_STMT
  retry_58 = 0;
  # DEBUG retry => retry_58
  goto <bb 29>; [INV]

  <bb 27> :
  # DEBUG BEGIN_STMT
  status_60 = Adc_Sar_Ip_DoCalibration (1);
  # DEBUG status => status_60
  # DEBUG BEGIN_STMT
  if (status_60 == 0)
    goto <bb 30>; [INV]
  else
    goto <bb 28>; [INV]

  <bb 28> :
  # DEBUG BEGIN_STMT
  retry.33_5 = retry_11;
  retry_61 = retry.33_5 + 1;
  # DEBUG retry => retry_61

  <bb 29> :
  # retry_11 = PHI <retry_58(26), retry_61(28)>
  # DEBUG retry => retry_11
  # DEBUG BEGIN_STMT
  if (retry_11 <= 9)
    goto <bb 27>; [INV]
  else
    goto <bb 30>; [INV]

  <bb 30> :
  # DEBUG BEGIN_STMT
  if (retry_11 > 9)
    goto <bb 31>; [INV]
  else
    goto <bb 32>; [INV]

  <bb 31> :
  # DEBUG BEGIN_STMT
  debug_printf ("ADC[%d] Calibration failed\n", 1);

  <bb 32> :
  # DEBUG BEGIN_STMT
  retry_63 = 0;
  # DEBUG retry => retry_63
  goto <bb 35>; [INV]

  <bb 33> :
  # DEBUG BEGIN_STMT
  status_65 = Adc_Sar_Ip_DoCalibration (2);
  # DEBUG status => status_65
  # DEBUG BEGIN_STMT
  if (status_65 == 0)
    goto <bb 36>; [INV]
  else
    goto <bb 34>; [INV]

  <bb 34> :
  # DEBUG BEGIN_STMT
  retry.34_6 = retry_12;
  retry_66 = retry.34_6 + 1;
  # DEBUG retry => retry_66

  <bb 35> :
  # retry_12 = PHI <retry_63(32), retry_66(34)>
  # DEBUG retry => retry_12
  # DEBUG BEGIN_STMT
  if (retry_12 <= 9)
    goto <bb 33>; [INV]
  else
    goto <bb 36>; [INV]

  <bb 36> :
  # DEBUG BEGIN_STMT
  if (retry_12 > 9)
    goto <bb 37>; [INV]
  else
    goto <bb 38>; [INV]

  <bb 37> :
  # DEBUG BEGIN_STMT
  debug_printf ("ADC[%d] Calibration failed\n", 2);

  <bb 38> :
  # DEBUG BEGIN_STMT
  Adc_Sar_Ip_EnableNotifications (0, 1);
  # DEBUG BEGIN_STMT
  Adc_Sar_Ip_EnableNotifications (1, 1);
  # DEBUG BEGIN_STMT
  Adc_Sar_Ip_EnableNotifications (2, 1);
  return;

}


led_onoff (int flag)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  if (flag_2(D) == 1)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434696B, 2, 0);
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434696B, 2, 1);

  <bb 5> :
  # DEBUG BEGIN_STMT
  gb.led_flag = flag_2(D);
  return;

}


Digital_Read (uint8_t DIN_No)
{
  uint8_t ret;
  int _1;
  uint8_t _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) DIN_No_4(D);
  switch (_1) <default: <L8> [INV], case 0: <L0> [INV], case 1: <L1> [INV], case 2: <L2> [INV], case 3: <L3> [INV], case 4: <L4> [INV], case 5: <L5> [INV], case 6: <L6> [INV], case 7: <L7> [INV]>

  <bb 3> :
<L0>:
  # DEBUG BEGIN_STMT
  ret_21 = Siul2_Dio_Ip_ReadPin (1076434694B, 8);
  # DEBUG ret => ret_21
  # DEBUG BEGIN_STMT
  goto <bb 12>; [INV]

  <bb 4> :
<L1>:
  # DEBUG BEGIN_STMT
  ret_19 = Siul2_Dio_Ip_ReadPin (1076434690B, 11);
  # DEBUG ret => ret_19
  # DEBUG BEGIN_STMT
  goto <bb 12>; [INV]

  <bb 5> :
<L2>:
  # DEBUG BEGIN_STMT
  ret_17 = Siul2_Dio_Ip_ReadPin (1076434706B, 1);
  # DEBUG ret => ret_17
  # DEBUG BEGIN_STMT
  goto <bb 12>; [INV]

  <bb 6> :
<L3>:
  # DEBUG BEGIN_STMT
  ret_15 = Siul2_Dio_Ip_ReadPin (1076434694B, 11);
  # DEBUG ret => ret_15
  # DEBUG BEGIN_STMT
  goto <bb 12>; [INV]

  <bb 7> :
<L4>:
  # DEBUG BEGIN_STMT
  ret_13 = Siul2_Dio_Ip_ReadPin (1076434692B, 4);
  # DEBUG ret => ret_13
  # DEBUG BEGIN_STMT
  goto <bb 12>; [INV]

  <bb 8> :
<L5>:
  # DEBUG BEGIN_STMT
  ret_11 = Siul2_Dio_Ip_ReadPin (1076434692B, 5);
  # DEBUG ret => ret_11
  # DEBUG BEGIN_STMT
  goto <bb 12>; [INV]

  <bb 9> :
<L6>:
  # DEBUG BEGIN_STMT
  ret_9 = Siul2_Dio_Ip_ReadPin (1076434692B, 8);
  # DEBUG ret => ret_9
  # DEBUG BEGIN_STMT
  goto <bb 12>; [INV]

  <bb 10> :
<L7>:
  # DEBUG BEGIN_STMT
  ret_7 = Siul2_Dio_Ip_ReadPin (1076434692B, 10);
  # DEBUG ret => ret_7
  # DEBUG BEGIN_STMT
  goto <bb 12>; [INV]

  <bb 11> :
<L8>:
  # DEBUG BEGIN_STMT
  ret_22 = 255;
  # DEBUG ret => ret_22
  # DEBUG BEGIN_STMT

  <bb 12> :
  # ret_2 = PHI <ret_21(3), ret_19(4), ret_17(5), ret_15(6), ret_13(7), ret_11(8), ret_9(9), ret_7(10), ret_22(11)>
  # DEBUG ret => ret_2
  # DEBUG BEGIN_STMT
  _23 = ret_2;
  return _23;

}


Digital_Write (uint8_t DOUT_No, uint8_t Value)
{
  int _1;

  <bb 2> :
  # DEBUG BEGIN_STMT
  if (Value_4(D) > 1)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  Value_5 = 1;
  # DEBUG Value => Value_5

  <bb 4> :
  # Value_2 = PHI <Value_4(D)(2), Value_5(3)>
  # DEBUG Value => Value_2
  # DEBUG BEGIN_STMT
  _1 = (int) DOUT_No_6(D);
  switch (_1) <default: <L12> [INV], case 0: <L2> [INV], case 1: <L3> [INV], case 2: <L4> [INV], case 3: <L5> [INV], case 4: <L6> [INV], case 5: <L7> [INV], case 6: <L8> [INV], case 7: <L9> [INV]>

  <bb 5> :
<L2>:
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434690B, 0, Value_2);
  # DEBUG BEGIN_STMT
  goto <bb 13>; [INV]

  <bb 6> :
<L3>:
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434704B, 10, Value_2);
  # DEBUG BEGIN_STMT
  goto <bb 13>; [INV]

  <bb 7> :
<L4>:
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434690B, 12, Value_2);
  # DEBUG BEGIN_STMT
  goto <bb 13>; [INV]

  <bb 8> :
<L5>:
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434688B, 2, Value_2);
  # DEBUG BEGIN_STMT
  goto <bb 13>; [INV]

  <bb 9> :
<L6>:
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434690B, 13, Value_2);
  # DEBUG BEGIN_STMT
  goto <bb 13>; [INV]

  <bb 10> :
<L7>:
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434690B, 14, Value_2);
  # DEBUG BEGIN_STMT
  goto <bb 13>; [INV]

  <bb 11> :
<L8>:
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434690B, 15, Value_2);
  # DEBUG BEGIN_STMT
  goto <bb 13>; [INV]

  <bb 12> :
<L9>:
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434688B, 0, Value_2);
  # DEBUG BEGIN_STMT

  <bb 13> :
<L12>:
  return;

}


DIN_TEST ()
{
  unsigned char _1;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = Siul2_Dio_Ip_ReadPin (1076434690B, 11);
  din_test = _1;
  return;

}


can_transmit_txring (uint8_t ch)
{
  uint8_t can_ret;
  int _1;
  int _2;
  short unsigned int _3;
  int _4;
  unsigned char _5;
  int _6;
  int _7;
  int _8;
  short unsigned int _9;
  int _10;
  unsigned char _11;
  int _12;
  int _13;
  int _14;
  short unsigned int _15;
  int _16;
  unsigned char _17;
  int _18;
  int _19;
  int _20;
  short unsigned int _21;
  int _22;
  unsigned char _23;
  int _24;
  int _25;
  int _26;
  short unsigned int _27;
  int _28;
  unsigned char _29;
  int _30;
  int _31;
  unsigned char _32;
  int _33;
  struct Flexcan_Ip_DataInfoType * _34;
  int _35;
  int _36;
  short unsigned int _37;
  int _38;
  long unsigned int _39;
  int _40;
  int _41;
  short unsigned int _42;
  int _43;
  uint8_t[32] * _44;
  int _45;
  int _46;
  unsigned char _47;
  int _48;
  int _49;
  unsigned int _50;
  unsigned int _51;
  int _52;
  unsigned char _53;
  int _54;
  unsigned char _55;
  int _56;
  int _57;
  unsigned int _58;
  unsigned int _59;
  int _60;
  unsigned char _61;
  int _62;
  int _63;
  int _64;
  short unsigned int _65;
  int _66;
  int _67;
  short unsigned int _68;
  int _69;
  int _70;
  int _71;
  int _72;
  short unsigned int _73;
  int _74;
  int _75;
  short unsigned int _76;
  int _77;
  int _78;
  short unsigned int _79;
  int _80;
  int _81;
  int _82;
  int _83;
  short unsigned int _84;
  long long unsigned int vcan_send_miss_message.28_85;
  long long unsigned int _86;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) ch_90(D);
  _2 = (int) ch_90(D);
  _3 = CAN_ch[_2].p_rd;
  _4 = (int) _3;
  _5 = CAN_ch[_1].tx_ring[_4].len;
  if (_5 <= 8)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _6 = (int) ch_90(D);
  tx_info[_6].data_length = 8;
  goto <bb 12>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _7 = (int) ch_90(D);
  _8 = (int) ch_90(D);
  _9 = CAN_ch[_8].p_rd;
  _10 = (int) _9;
  _11 = CAN_ch[_7].tx_ring[_10].len;
  if (_11 <= 16)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _12 = (int) ch_90(D);
  tx_info[_12].data_length = 16;
  goto <bb 12>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _13 = (int) ch_90(D);
  _14 = (int) ch_90(D);
  _15 = CAN_ch[_14].p_rd;
  _16 = (int) _15;
  _17 = CAN_ch[_13].tx_ring[_16].len;
  if (_17 <= 24)
    goto <bb 7>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  _18 = (int) ch_90(D);
  tx_info[_18].data_length = 24;
  goto <bb 12>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  _19 = (int) ch_90(D);
  _20 = (int) ch_90(D);
  _21 = CAN_ch[_20].p_rd;
  _22 = (int) _21;
  _23 = CAN_ch[_19].tx_ring[_22].len;
  if (_23 <= 32)
    goto <bb 9>; [INV]
  else
    goto <bb 10>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  _24 = (int) ch_90(D);
  tx_info[_24].data_length = 32;
  goto <bb 12>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  _25 = (int) ch_90(D);
  _26 = (int) ch_90(D);
  _27 = CAN_ch[_26].p_rd;
  _28 = (int) _27;
  _29 = CAN_ch[_25].tx_ring[_28].len;
  if (_29 <= 64)
    goto <bb 11>; [INV]
  else
    goto <bb 12>; [INV]

  <bb 11> :
  # DEBUG BEGIN_STMT
  _30 = (int) ch_90(D);
  tx_info[_30].data_length = 64;

  <bb 12> :
  # DEBUG BEGIN_STMT
  _31 = (int) ch_90(D);
  _32 = CAN_ch[_31].tx_mb_idx;
  _33 = (int) ch_90(D);
  _34 = &tx_info[_33];
  _35 = (int) ch_90(D);
  _36 = (int) ch_90(D);
  _37 = CAN_ch[_36].p_rd;
  _38 = (int) _37;
  _39 = CAN_ch[_35].tx_ring[_38].id;
  _40 = (int) ch_90(D);
  _41 = (int) ch_90(D);
  _42 = CAN_ch[_41].p_rd;
  _43 = (int) _42;
  _44 = &CAN_ch[_40].tx_ring[_43].buf;
  can_ret_98 = FlexCAN_Ip_Send (ch_90(D), _32, _34, _39, _44);
  # DEBUG can_ret => can_ret_98
  # DEBUG BEGIN_STMT
  _45 = (int) ch_90(D);
  if (_45 == 1)
    goto <bb 13>; [INV]
  else
    goto <bb 14>; [INV]

  <bb 13> :
<L14>:
  # DEBUG BEGIN_STMT
  _46 = (int) ch_90(D);
  _47 = CAN_ch[_46].tx_mb_idx;
  _48 = (int) _47;
  _49 = _48 + 1;
  _50 = (unsigned int) _49;
  _51 = _50 % 28;
  _52 = (int) ch_90(D);
  _53 = (unsigned char) _51;
  CAN_ch[_52].tx_mb_idx = _53;
  # DEBUG BEGIN_STMT
  goto <bb 15>; [INV]

  <bb 14> :
<L15>:
  # DEBUG BEGIN_STMT
  _54 = (int) ch_90(D);
  _55 = CAN_ch[_54].tx_mb_idx;
  _56 = (int) _55;
  _57 = _56 + 1;
  _58 = (unsigned int) _57;
  _59 = _58 % 14;
  _60 = (int) ch_90(D);
  _61 = (unsigned char) _59;
  CAN_ch[_60].tx_mb_idx = _61;
  # DEBUG BEGIN_STMT

  <bb 15> :
  # DEBUG BEGIN_STMT
  _62 = (int) can_ret_98;
  switch (_62) <default: <L21> [INV], case 0: <L17> [INV], case 2: <L18> [INV]>

  <bb 16> :
<L17>:
  # DEBUG BEGIN_STMT
  clear_tx_ring (ch_90(D));
  # DEBUG BEGIN_STMT
  _63 = (int) ch_90(D);
  _64 = (int) ch_90(D);
  _65 = CAN_ch[_64].p_rd;
  _66 = (int) _65;
  CAN_ch[_63].tx_ring[_66].xreq = 0;
  # DEBUG BEGIN_STMT
  _67 = (int) ch_90(D);
  _68 = CAN_ch[_67].p_rd;
  _69 = (int) _68;
  _70 = _69 + 1;
  _71 = _70 % 200;
  _72 = (int) ch_90(D);
  _73 = (short unsigned int) _71;
  CAN_ch[_72].p_rd = _73;
  # DEBUG BEGIN_STMT
  goto <bb 18>; [INV]

  <bb 17> :
<L18>:
  # DEBUG BEGIN_STMT
  clear_tx_ring (ch_90(D));
  # DEBUG BEGIN_STMT
  _74 = (int) ch_90(D);
  _75 = (int) ch_90(D);
  _76 = CAN_ch[_75].p_rd;
  _77 = (int) _76;
  CAN_ch[_74].tx_ring[_77].xreq = 0;
  # DEBUG BEGIN_STMT
  _78 = (int) ch_90(D);
  _79 = CAN_ch[_78].p_rd;
  _80 = (int) _79;
  _81 = _80 + 1;
  _82 = _81 % 200;
  _83 = (int) ch_90(D);
  _84 = (short unsigned int) _82;
  CAN_ch[_83].p_rd = _84;
  # DEBUG BEGIN_STMT
  vcan_send_miss_message.28_85 = vcan_send_miss_message;
  _86 = vcan_send_miss_message.28_85 + 1;
  vcan_send_miss_message = _86;
  # DEBUG BEGIN_STMT

  <bb 18> :
<L21>:
  return;

}


can_send_txring (uint8_t ch, uint32_t id, uint8_t * buf, uint8_t len)
{
  uint8_t i;
  int _1;
  long unsigned int _2;
  int _3;
  int _4;
  sizetype _5;
  uint8_t * _6;
  int _7;
  int _8;
  short unsigned int _9;
  int _10;
  int _11;
  unsigned char _12;
  unsigned char i.27_13;
  int _14;
  int _15;
  short unsigned int _16;
  int _17;
  int _18;
  int _19;
  short unsigned int _20;
  int _21;
  int _22;
  int _23;
  short unsigned int _24;
  int _25;
  int _26;
  short unsigned int _27;
  int _28;
  int _29;
  int _30;
  int _31;
  short unsigned int _32;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = (int) ch_36(D);
  _2 = tx_info[_1].data_length;
  if (_2 > 64)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  // predicted unlikely by early return (on trees) predictor.
  goto <bb 10>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _3 = (int) ch_36(D);
  _4 = gb.can[_3].bus_off;
  if (_4 == 0)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  // predicted unlikely by early return (on trees) predictor.
  goto <bb 10>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  i_38 = 0;
  # DEBUG i => i_38
  goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  _5 = (sizetype) i_33;
  _6 = buf_46(D) + _5;
  _7 = (int) ch_36(D);
  _8 = (int) ch_36(D);
  _9 = CAN_ch[_8].p_wr;
  _10 = (int) _9;
  _11 = (int) i_33;
  _12 = *_6;
  CAN_ch[_7].tx_ring[_10].buf[_11] = _12;
  # DEBUG BEGIN_STMT
  i.27_13 = i_33;
  i_48 = i.27_13 + 1;
  # DEBUG i => i_48

  <bb 8> :
  # i_33 = PHI <i_38(6), i_48(7)>
  # DEBUG i => i_33
  # DEBUG BEGIN_STMT
  if (i_33 < len_39(D))
    goto <bb 7>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  clear_tx_buf (ch_36(D));
  # DEBUG BEGIN_STMT
  _14 = (int) ch_36(D);
  _15 = (int) ch_36(D);
  _16 = CAN_ch[_15].p_wr;
  _17 = (int) _16;
  CAN_ch[_14].tx_ring[_17].id = id_41(D);
  # DEBUG BEGIN_STMT
  _18 = (int) ch_36(D);
  _19 = (int) ch_36(D);
  _20 = CAN_ch[_19].p_wr;
  _21 = (int) _20;
  CAN_ch[_18].tx_ring[_21].len = len_39(D);
  # DEBUG BEGIN_STMT
  _22 = (int) ch_36(D);
  _23 = (int) ch_36(D);
  _24 = CAN_ch[_23].p_wr;
  _25 = (int) _24;
  CAN_ch[_22].tx_ring[_25].xreq = 1;
  # DEBUG BEGIN_STMT
  _26 = (int) ch_36(D);
  _27 = CAN_ch[_26].p_wr;
  _28 = (int) _27;
  _29 = _28 + 1;
  _30 = _29 % 200;
  _31 = (int) ch_36(D);
  _32 = (short unsigned int) _30;
  CAN_ch[_31].p_wr = _32;

  <bb 10> :
  return;

}


can_tx_check ()
{
  uint8_t i;
  int _1;
  int _2;
  short unsigned int _3;
  int _4;
  unsigned char _5;
  unsigned char i.26_6;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  i_10 = 0;
  # DEBUG i => i_10
  goto <bb 6>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (int) i_7;
  _2 = (int) i_7;
  _3 = CAN_ch[_2].p_rd;
  _4 = (int) _3;
  _5 = CAN_ch[_1].tx_ring[_4].xreq;
  if (_5 == 1)
    goto <bb 4>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  can_transmit_txring (i_7);

  <bb 5> :
  # DEBUG BEGIN_STMT
  i.26_6 = i_7;
  i_13 = i.26_6 + 1;
  # DEBUG i => i_13

  <bb 6> :
  # i_7 = PHI <i_10(2), i_13(5)>
  # DEBUG i => i_7
  # DEBUG BEGIN_STMT
  if (i_7 <= 5)
    goto <bb 3>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 7> :
  return;

}


clear_tx_ring (uint8_t ch)
{
  uint8_t j;
  int _1;
  int _2;
  short unsigned int _3;
  int _4;
  int _5;
  int _6;
  short unsigned int _7;
  int _8;
  int _9;
  int _10;
  short unsigned int _11;
  int _12;
  int _13;
  unsigned char j.25_14;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = (int) ch_17(D);
  _2 = (int) ch_17(D);
  _3 = CAN_ch[_2].p_rd;
  _4 = (int) _3;
  CAN_ch[_1].tx_ring[_4].len = 0;
  # DEBUG BEGIN_STMT
  _5 = (int) ch_17(D);
  _6 = (int) ch_17(D);
  _7 = CAN_ch[_6].p_rd;
  _8 = (int) _7;
  CAN_ch[_5].tx_ring[_8].id = 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  j_21 = 0;
  # DEBUG j => j_21
  goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _9 = (int) ch_17(D);
  _10 = (int) ch_17(D);
  _11 = CAN_ch[_10].p_rd;
  _12 = (int) _11;
  _13 = (int) j_15;
  CAN_ch[_9].tx_ring[_12].buf[_13] = 0;
  # DEBUG BEGIN_STMT
  j.25_14 = j_15;
  j_23 = j.25_14 + 1;
  # DEBUG j => j_23

  <bb 4> :
  # j_15 = PHI <j_21(2), j_23(3)>
  # DEBUG j => j_15
  # DEBUG BEGIN_STMT
  if (j_15 <= 31)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 5> :
  return;

}


clear_tx_buf (uint8_t ch)
{
  uint8_t i;
  int _1;
  int _2;
  int _3;
  int _4;
  unsigned char i.24_5;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = (int) ch_8(D);
  CAN_ch[_1].tx.id = 0;
  # DEBUG BEGIN_STMT
  _2 = (int) ch_8(D);
  CAN_ch[_2].tx.len = 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  i_12 = 0;
  # DEBUG i => i_12
  goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _3 = (int) ch_8(D);
  _4 = (int) i_6;
  CAN_ch[_3].tx.buf[_4] = 0;
  # DEBUG BEGIN_STMT
  i.24_5 = i_6;
  i_14 = i.24_5 + 1;
  # DEBUG i => i_14

  <bb 4> :
  # i_6 = PHI <i_12(2), i_14(3)>
  # DEBUG i => i_6
  # DEBUG BEGIN_STMT
  if (i_6 <= 31)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 5> :
  return;

}


ECU3_Data_Init ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_Signal1_0x040.RC_BrakeTorqueCommand = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_Signal1_0x040.RC_RWA_RackAngleCommand = 33250;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_Signal1_0x040.RC_Drive_ACC_Cmd = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_Signal1_0x040.RC_Vx_Command = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_Signal1_0x040.RC_VCU_counter1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_Signal1_0x040.RC_VCU_CRC1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_Signal2_0x041.RC_Drive_Mode = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_Signal2_0x041.RC_GearSelStat = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_Signal2_0x041.RC_ParkBrake_Cmd = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_Signal2_0x041.RC_Emergency_Stop = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_Signal2_0x041.RC_VCU_long_Ctl_mode = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_Signal2_0x041.RC_VCU_ARC = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_RC_VCU_Fault_Flag_0x042.ACU_Fault_Flag = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_RC_VCU_Fault_Flag_0x042.MCU_Actuator_Fault_Flag = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_RC_VCU_Fault_Flag_0x042.RWA_Actuator_Fault_Flag = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_BCM_Signal_1_CH0_0x155.Lamp_BRAKE_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_BCM_Signal_1_CH0_0x155.Lamp_Hazard_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_BCM_Signal_1_CH0_0x155.Lamp_HBEAM_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_BCM_Signal_1_CH0_0x155.Lamp_Head_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_BCM_Signal_1_CH0_0x155.Lamp_LTRN_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_BCM_Signal_1_CH0_0x155.Lamp_Reverse_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_BCM_Signal_1_CH0_0x155.Lamp_RTRN_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_BCM_Signal_1_CH0_0x155.Lamp_Position_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_BCM_Signal_1_CH0_0x155.Lamp_DRL_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RC_VCU_BCM_Signal_1_CH0_0x155.Wiper_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.EPAM_driveSensor = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.EPAM_parkSensor = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.EPAM_parkLock = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.EPAM_ParkRequestStatus = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.EPAM_Voltage = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.EPAM_Current = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.EPAM_Temperature = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.EPAM_HallPosition = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.ErrEPAM_MotStallMiddle = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.ErrEPAM_MotStallUnPark = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.ErrEPAM_MotStallPark = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.ErrEPAM_MotOpen = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.ErrEPAM_MotFail = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.EPAM_State = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.ErrEPAM_CommErr = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.ErrEPAM_HallSenErr = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.ErrEPAM_OT_ECU = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.ErrEPAM_CANErr = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.ErrEPAM_HallPaternError = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.ErrEPAM_HallTimeOut = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.ErrEPAM_DCBusUnderVoltage = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.ErrEPAM_DCBusOverVoltage = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_RX_EPAM_VCU_0x221.ErrEPAM_DCBusOverCurrent = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_MCU_VCU_Signals1_0x300.MCU_Ready = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_MCU_VCU_Signals1_0x300.MCU_Controlable = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_MCU_VCU_Signals1_0x300.MCU_Flt = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_MCU_VCU_Signals1_0x300.MCU_Interlock = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_MCU_VCU_Signals1_0x300.MCU_CurGearSta = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_MCU_VCU_Signals1_0x300.MCU_GearStaInv = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_MCU_VCU_Signals1_0x300.MCU_Derating = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_MCU_VCU_Signals1_0x300.MCU_SvrFlt = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_MCU_VCU_Signals1_0x300.MCU_MtrTemp = 50;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_MCU_VCU_Signals1_0x300.MCU_InvTemp = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_MCU_VCU_Signals1_0x300.MCU_EstSpd = 32768;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_MCU_VCU_Signals1_0x300.MCU_EstTrq = 20000;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_MCU_VCU_Signals2_0x301.FaultMessage1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_MCU_VCU_Signals2_0x301.FaultMessage2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal1_0x570.Lamp_RTRN = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal1_0x570.Lamp_Reverse = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal1_0x570.Lamp_LTRN = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal1_0x570.Lamp_Head = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal1_0x570.Lamp_HBEAM = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal1_0x570.Lamp_Hazard = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal1_0x570.Lamp_BRAKE = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal1_0x570.Status_Wiper = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal1_0x570.BCM_CE1_STA = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal1_0x570.BCM_CE2_STA = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal1_0x570.BCM_CE3_STA = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal1_0x570.BCM_CE4_STA = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal1_0x570.BCM_CE5_STA = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal1_0x570.BCM_MAINSW_STA = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal1_0x570.Battery_Voltage = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal1_0x570.Lamp_DRL = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal1_0x570.Lamp_Position = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal1_0x570.BCM_VCU_counter1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal1_0x570.BCM_VCU_CRC1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal2_0x580.ChargingStatus = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal2_0x580.BCM_ChgeCon_DTD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal2_0x580.BMS_HVOn_STA = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal2_0x580.IntLckSta_OBC = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal2_0x580.IntLckSta_BMS = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal2_0x580.BMS_SOC = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal2_0x580.BMS_SOH = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal2_0x580.CommSta_OBC = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal2_0x580.CommSta_VCU = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal2_0x580.CommSta_BMS = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal2_0x580.CommSta_LDC = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal2_0x580.CommSta_TMS = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal2_0x580.BMS_SOH_INV = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal2_0x580.BMS_SOC_INV = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal2_0x580.Bms_Soc_Wrng = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal2_0x580.Bms_SoH_Wrng = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal2_0x580.BCM_VCU_counter2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal2_0x580.BCM_VCU_CRC2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal5_0x585.OBC_FltSta = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal5_0x585.BMS_FltSta = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal5_0x585.LDC_FltSta = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal5_0x585.BCM_FltSta = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal5_0x585.BMS_TEMP_FAULT = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal5_0x585.LDC_TEMP_FAULT = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal5_0x585.OBC_TEMP_FAULT = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal5_0x585.BCM_VCU_counter5 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal5_0x585.BCM_VCU_CRC5 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal3_0x590.Bms_PackVolt = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal3_0x590.Bms_PackCur = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal3_0x590.Bms_PackPwr = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal3_0x590.BCM_VCU_counter3 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal3_0x590.BCM_VCU_CRC3 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal4_0x595.LDC_ACTL_CUR = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH0_BCM_VCU_Signal4_0x595.LDC_INP_VOLT = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_VCU_Signal1_0x091.ACU_Vx_Command = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_VCU_Signal1_0x091.ACU_Drive_ACC_Cmd = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_VCU_Signal1_0x091.ACU_BrakeTorqueCommand = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_VCU_Signal1_0x091.ACU_VCU_counter1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_VCU_Signal1_0x091.ACU_VCU_CRC1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_VCU_Signal2_0x092.ACU_RWA_cmd_deg = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_VCU_Signal2_0x092.ACU_RWS_cmd_deg = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_VCU_Signal2_0x092.ACU_VCU_counter2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_VCU_Signal2_0x092.ACU_VCU_CRC2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_VCU_Signal3_0x093.ACU_Drive_mode = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_VCU_Signal3_0x093.ACU_long_Ctl_mode = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_VCU_Signal3_0x093.ACU_EPAM_req = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_VCU_Signal3_0x093.ACU_VCU_GearPos = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_VCU_Signal3_0x093.ACU_Emergency_Stop = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_VCU_Signal3_0x093.ACU_VCU_counter3 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_VCU_Signal3_0x093.ACU_VCU_CRC3 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_BCM_Signal_1_0x151.Lamp_BRAKE_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_BCM_Signal_1_0x151.Lamp_Hazard_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_BCM_Signal_1_0x151.Lamp_HBEAM_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_BCM_Signal_1_0x151.Lamp_Head_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_BCM_Signal_1_0x151.Lamp_LTRN_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_BCM_Signal_1_0x151.Lamp_Reverse_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_BCM_Signal_1_0x151.Lamp_RTRN_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_BCM_Signal_1_0x151.Lamp_Position_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_BCM_Signal_1_0x151.Lamp_DRL_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_BCM_Signal_1_0x151.Wiper_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_BCM_Signal_1_0x151.LDC_ACT_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_BCM_Signal_1_0x151.HV_ON_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_BCM_Signal_1_0x151.CE_ON_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_BCM_Signal_1_0x151.LDC_TRGT_CUR = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_BCM_Signal_1_0x151.Vcu_OperMode = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_BCM_Signal_1_0x151.Vcu_SysMode = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_BCM_Signal_1_0x151.ACU_VCU_counter = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH1_ACU_BCM_Signal_1_0x151.ACU_VCU_CRC = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status1_0x072.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status1_0x072.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status1_0x072.EcuPowerMode = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status1_0x072.EcuRole = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status1_0x072.EcuStatus = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status1_0x072.MaxMotorOutput = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status1_0x072.MaxMotorOutputValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status1_0x072.RackAngleSpeedFbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status1_0x072.RackAngleSpeedFbkValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status1_0x072.SysInfo = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status1_0x072.WarningLamp = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status2_0x073.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status2_0x073.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status2_0x073.RackAngleFbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status2_0x073.RackAngleFbkValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status2_0x073.RackForceFbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status2_0x073.RackForceFbkValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_RegenTcsRequest_0x082.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_RegenTcsRequest_0x082.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_RegenTcsRequest_0x082.RbcTargetRegenTorque = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_RegenTcsRequest_0x082.TcsTorqueCmd = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_WheelStatus_0x08C.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_WheelStatus_0x08C.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_WheelStatus_0x08C.FrontLeftWheelDirection = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_WheelStatus_0x08C.FrontLeftWheelPulse = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_WheelStatus_0x08C.FrontLeftWheelPulseValidity = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_WheelStatus_0x08C.FrontLeftWssFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_WheelStatus_0x08C.FrontRightWheelDirection = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_WheelStatus_0x08C.FrontRightWheelPulse = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_WheelStatus_0x08C.FrontRightWheelPulseValidity = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_WheelStatus_0x08C.FrontRightWssFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_WheelStatus_0x08C.RearLeftWheelDirection = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_WheelStatus_0x08C.RearLeftWheelPulse = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_WheelStatus_0x08C.RearLeftWheelPulseValidity = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_WheelStatus_0x08C.RearLeftWssFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_WheelStatus_0x08C.RearRightWheelDirection = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_WheelStatus_0x08C.RearRightWheelPulse = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_WheelStatus_0x08C.RearRightWheelPulseValidity = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_WheelStatus_0x08C.RearRightWssFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.AbsFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.AbsState = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.BbsFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.BbsState = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.CanCommunicationFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.EbdFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.EbdState = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.EpbFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.EpbState = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.EpbTransition = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.EscFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.EscState = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.EscYawRateThreshold = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.InternalCanCommunicationFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.RbcFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.RbcState = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.RopFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.RopState = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.SplitMuDetection = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.SsmFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.SsmState = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.TcsFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_Status_0x092.TcsState = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_TireSlipStatus_0x096.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_TireSlipStatus_0x096.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_TireSlipStatus_0x096.FrontLeftTireSlipRatio = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_TireSlipStatus_0x096.FrontLeftWheelSlipStatus = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_TireSlipStatus_0x096.FrontRightTireSlipRatio = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_TireSlipStatus_0x096.FrontRightWheelSlipStatus = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_TireSlipStatus_0x096.RearLeftTireSlipRatio = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_TireSlipStatus_0x096.RearLeftWheelSlipStatus = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_TireSlipStatus_0x096.RearRightTireSlipRatio = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_TireSlipStatus_0x096.RearRightWheelSlipStatus = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_BrakeStatus1_0x09A.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_BrakeStatus1_0x09A.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_BrakeStatus1_0x09A.EcuRole = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_BrakeStatus1_0x09A.EcuStatus = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_BrakeStatus1_0x09A.EstimatedVehicleSpeed = 303;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_BrakeStatus1_0x09A.IsControllingEcu = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_BrakeStatus1_0x09A.MasterCylinderPressure = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_BrakeStatus1_0x09A.RoadFrictionCoefficient = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_BrakeStatus1_0x09A.RoadFrictionCoefficientValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_BrakeStatus1_0x09A.VehicleSpeedValidity = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_PressureStatus_0x0A0.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_PressureStatus_0x0A0.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_PressureStatus_0x0A0.FrontLeftEstimatedPressure = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_PressureStatus_0x0A0.FrontLeftEstimatedPressureValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_PressureStatus_0x0A0.FrontRightEstimatedPressure = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_PressureStatus_0x0A0.FrontRightEstimatedPressureValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_PressureStatus_0x0A0.RearLeftEstimatedPressure = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_PressureStatus_0x0A0.RearLeftEstimatedPressureValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_PressureStatus_0x0A0.RearRightEstimatedPressure = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_PressureStatus_0x0A0.RearRightEstimatedPressureValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status3_0x0AA.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status3_0x0AA.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status3_0x0AA.PolFault = 1;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status3_0x0AA.PolLimiterFlag = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status3_0x0AA.PolStatus = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status3_0x0AA.PolValue = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status3_0x0AA.SysBatteryVoltage = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_RWA_Status3_0x0AA.SysIqCurrent = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_UdsResponse_0x798.UdsResponse = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_UdsResponse_0x798.UdsResponse_MSB = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH2_IDB_UdsResponse_0x798.UdsResponse_LSB = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status1_0x072.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status1_0x072.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status1_0x072.EcuPowerMode = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status1_0x072.EcuRole = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status1_0x072.EcuStatus = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status1_0x072.MaxMotorOutput = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status1_0x072.MaxMotorOutputValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status1_0x072.RackAngleSpeedFbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status1_0x072.RackAngleSpeedFbkValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status1_0x072.SysInfo = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status1_0x072.WarningLamp = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status2_0x073.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status2_0x073.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status2_0x073.RackAngleFbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status2_0x073.RackAngleFbkValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status2_0x073.RackForceFbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status2_0x073.RackForceFbkValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_WheelStatus_0x08D.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_WheelStatus_0x08D.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_WheelStatus_0x08D.FrontLeftWheelDirection = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_WheelStatus_0x08D.FrontLeftWheelPulse = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_WheelStatus_0x08D.FrontLeftWheelPulseValidity = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_WheelStatus_0x08D.FrontLeftWssFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_WheelStatus_0x08D.FrontRightWheelDirection = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_WheelStatus_0x08D.FrontRightWheelPulse = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_WheelStatus_0x08D.FrontRightWheelPulseValidity = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_WheelStatus_0x08D.FrontRightWssFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_WheelStatus_0x08D.RearLeftWheelDirection = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_WheelStatus_0x08D.RearLeftWheelPulse = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_WheelStatus_0x08D.RearLeftWheelPulseValidity = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_WheelStatus_0x08D.RearLeftWssFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_WheelStatus_0x08D.RearRightWheelDirection = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_WheelStatus_0x08D.RearRightWheelPulse = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_WheelStatus_0x08D.RearRightWheelPulseValidity = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_WheelStatus_0x08D.RearRightWssFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_Status_0x093.AbsFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_Status_0x093.AbsState = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_Status_0x093.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_Status_0x093.BbsFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_Status_0x093.BbsState = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_Status_0x093.CanCommunicationFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_Status_0x093.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_Status_0x093.EpbFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_Status_0x093.EpbState = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_Status_0x093.EpbTransition = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_Status_0x093.EscFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_Status_0x093.EscState = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_Status_0x093.EscYawRateThreshold = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_Status_0x093.InternalCanCommunicationFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_Status_0x093.SplitMuDetSsmFaultection = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_Status_0x093.SsmFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_Status_0x093.SsmState = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_TireSlipStatus_0x097.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_TireSlipStatus_0x097.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_TireSlipStatus_0x097.FrontLeftTireSlipRatio = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_TireSlipStatus_0x097.FrontLeftWheelSlipStatus = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_TireSlipStatus_0x097.FrontRightTireSlipRatio = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_TireSlipStatus_0x097.FrontRightWheelSlipStatus = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_TireSlipStatus_0x097.RearLeftTireSlipRatio = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_TireSlipStatus_0x097.RearLeftWheelSlipStatus = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_TireSlipStatus_0x097.RearRightTireSlipRatio = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_TireSlipStatus_0x097.RearRightWheelSlipStatus = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_BrakeStatus1_0x09B.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_BrakeStatus1_0x09B.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_BrakeStatus1_0x09B.EcuRole = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_BrakeStatus1_0x09B.EcuStatus = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_BrakeStatus1_0x09B.EstimatedVehicleSpeed = 303;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_BrakeStatus1_0x09B.IsControllingEcu = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_BrakeStatus1_0x09B.MasterCylinderPressure = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_BrakeStatus1_0x09B.RoadFrictionCoefficient = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_BrakeStatus1_0x09B.RoadFrictionCoefficientValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_BrakeStatus1_0x09B.VehicleSpeedValidity = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_PressureStatus_0x0A1.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_PressureStatus_0x0A1.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_PressureStatus_0x0A1.FrontLeftEstimatedPressure = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_PressureStatus_0x0A1.FrontLeftEstimatedPressureValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_PressureStatus_0x0A1.FrontRightEstimatedPressure = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_PressureStatus_0x0A1.FrontRightEstimatedPressureValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status3_0x0AA.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status3_0x0AA.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status3_0x0AA.PolFault = 1;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status3_0x0AA.PolLimiterFlag = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status3_0x0AA.PolStatus = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status3_0x0AA.PolValue = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status3_0x0AA.SysBatteryVoltage = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RWA_Status3_0x0AA.SysIqCurrent = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_BrakeStatus2_0x0C9.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_BrakeStatus2_0x0C9.BrakeFluidState = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_BrakeStatus2_0x0C9.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_BrakeStatus2_0x0C9.FrontLeftBrakePadState = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_BrakeStatus2_0x0C9.FrontRightBrakePadState = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_BrakeStatus2_0x0C9.MotorTemperatureWarning = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_BrakeStatus2_0x0C9.Reserved3 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_BrakeStatus2_0x0C9.Reserved4 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_BrakeStatus2_0x0C9.Reserved5 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_BrakeStatus2_0x0C9.Reserved6 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH3_RCU_UdsResponse_0x799.UdsResponse = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH4_RWS_VCU_stat_Signal_0x072.RWS_EcuStatus1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH4_RWS_VCU_stat_Signal_0x072.RWS_RackAngleSpeedFbk1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH4_RWS_VCU_Rack_AngleFbk_0x073.RWS_RackAngleFbk1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH5_RWS_VCU_stat_Signal_0x072.RWS_EcuStatus2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH5_RWS_VCU_stat_Signal_0x072.RWS_RackAngleSpeedFbk2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.RX.CH5_RWS_VCU_Rack_AngleFbk_0x073.RWS_RackAngleFbk2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Signals1_0x010.VCU_MCU_EstTrq = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Signals1_0x010.VCU_RWA_Rack_Fbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Signals1_0x010.VCU_Brk_Pressure_Fbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Signals1_0x010.VCU_Vx_Fbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Signals1_0x010.VCU_RC_counter1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Signals1_0x010.VCU_RC_CRC1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Signals1_0x011.VCU_RC_BMS_SOC = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Signals1_0x011.VCU_RC_long_Ctl_mode = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Signals1_0x011.VCU_RC_Emergency_Stop = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Signals1_0x011.VCU_GearSelStat = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Signals1_0x011.VCU_Drive_Mode = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Signals1_0x011.VCU_ParkBrake_Fbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Signals1_0x011.VCU_Acc_Fbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Signals1_0x011.VCU_Acc_Limit = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Signals1_0x011.CAR_ChargingStatus = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Signals1_0x011.CAR_BMS_HVOn_STA = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_CAR_STAT_CH0_0x012.CAR_Bms_PackVolt = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_CAR_STAT_CH0_0x012.CAR_Bms_PackCur = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_CAR_STAT_CH0_0x012.CAR_Battery_Voltage = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_CAR_STAT_CH0_0x012.CAR_LDC_ACTL_CUR = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_CAR_STAT_CH0_0x012.CAR_LDC_ACTL_VOLT = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Fault_Flag_0x013.ACU_Fault_Flag = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Fault_Flag_0x013.MCU_Actuator_Fault_Flag = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Fault_Flag_0x013.IDB_ECU_Fault_Flag = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Fault_Flag_0x013.RCU_ECU_Fault_Flag = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Fault_Flag_0x013.RWA1_ECU_Fault_Flag = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Fault_Flag_0x013.RWA2_ECU_Fault_Flag = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Fault_Flag_0x013.RWA_Actuator_Fault_Flag = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_RC_Fault_Flag_0x013.ACU_ECU_Fault_Flag = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_Debug_VCU_Signal_1_CH0_0x017.VCU_IDB_BrakeTorqueCommand = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_Debug_VCU_Signal_1_CH0_0x017.VCU_RWA1_RackAngleCommand = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_Debug_VCU_Signal_1_CH0_0x017.VCU_RWS1_RackAngleCommand = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_Debug_VCU_Signal_1_CH0_0x017.VCU_MCU_TorqCommand = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_Debug_VCU_Signal_2_CH0_0x018.VCU_RCU_BrakeTorqueCommand = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_Debug_VCU_Signal_2_CH0_0x018.VCU_RWA2_RackAngleCommand = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_Debug_VCU_Signal_2_CH0_0x018.VCU_RWS2_RackAngleCommand = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_RWA_RackAngleFbk1_0x050.RWA_RackAngleFbk1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_RWA_RackAngleFbk1_0x050.RWA_RackAngleSpeedFbk1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_RWA_RackAngleFbk1_0x050.RWA_VCU_RC_counter1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_RWA_RackAngleFbk1_0x050.RWA_VCU_RC_CRC1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_RWA_RackAngleFbk1_0x050.CAR_ARC = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_RWA_VCU_RC_Signal2_0x051.RWA_RackAngleFbk2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_RWA_VCU_RC_Signal2_0x051.RWA_RackAngleSpeedFbk2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_RWA_VCU_RC_Signal2_0x051.RWA_VCU_RC_counter2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_RWA_VCU_RC_Signal2_0x051.RWA_VCU_RC_CRC2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_RWS_VCU_RC_Signal1_0x060.RWS_RackAngleFbk1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_RWS_VCU_RC_Signal1_0x060.RWS_RackAngleSpeedFbk1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_RWS_VCU_RC_Signal1_0x060.RWS_VCU_RC_counter1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_RWS_VCU_RC_Signal1_0x060.RWS_VCU_RC_CRC1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_RWA_VCU_RC_Signal2_0x061.RWS_RackAngleFbk2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_RWA_VCU_RC_Signal2_0x061.RWS_RackAngleSpeedFbk2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_RWA_VCU_RC_Signal2_0x061.RWS_VCU_RC_counter2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_RWA_VCU_RC_Signal2_0x061.RWS_VCU_RC_CRC2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_SW_VER_0x100.YEAR = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_SW_VER_0x100.Month = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_SW_VER_0x100.Day = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_SW_VER_0x100.Ver = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_SW_VER_0x100.CAR_NUM = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_BCM_Signal_1_0x151.Lamp_BRAKE_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_BCM_Signal_1_0x151.Lamp_Hazard_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_BCM_Signal_1_0x151.Lamp_HBEAM_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_BCM_Signal_1_0x151.Lamp_Head_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_BCM_Signal_1_0x151.Lamp_LTRN_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_BCM_Signal_1_0x151.Lamp_Reverse_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_BCM_Signal_1_0x151.Lamp_RTRN_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_BCM_Signal_1_0x151.Lamp_Position_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_BCM_Signal_1_0x151.Lamp_DRL_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_BCM_Signal_1_0x151.Wiper_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_BCM_Signal_1_0x151.LDC_ACT_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_BCM_Signal_1_0x151.HV_ON_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_BCM_Signal_1_0x151.CE_ON_CMD = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_BCM_Signal_1_0x151.LDC_TRGT_CUR = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_BCM_Signal_1_0x151.Vcu_OperMode = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_BCM_Signal_1_0x151.Vcu_SysMode = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_BCM_Signal_1_0x151.VCU_BCM_counter = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_BCM_Signal_1_0x151.VCU_BCM_CRC = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_MCU_Signals1_0x250.VCU_TorqueContol = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_MCU_Signals1_0x250.VCU_Ready = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_MCU_Signals1_0x250.VCU_ControlMode = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_MCU_Signals1_0x250.VCU_PwrEnable = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_MCU_Signals1_0x250.VCU_GearCmd = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_MCU_Signals1_0x250.VCU_MtrDir = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_MCU_Signals1_0x250.VCU_BmsFlt = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_MCU_Signals1_0x250.VCU_BmsHvSt = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_MCU_Signals1_0x250.VCU_PosTrqLimit = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_MCU_Signals1_0x250.VCU_NegTrqLimit = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH0_VCU_MCU_Signals1_0x250.VCU_TrqCmd = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Signal1_0x013.VCU_ACU_MCU_EstTrq = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Signal1_0x013.VCU_ACU_RWA_Rack_Fbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Signal1_0x013.VCU_ACU_Brk_Pressure_Fbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Signal1_0x013.VCU_ACU_long_Ctl_mode = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Signal1_0x013.VCU_ACU_GearPos = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Signal1_0x013.VCU_ACU_ParkBrake_Fbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Signal1_0x013.VCU_ACU_Emergency_Stop = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Signal2_0x014.RWA_Flt = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Signal2_0x014.RWS_Flt = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Signal2_0x014.IDB_Flt = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Signal2_0x014.MCU_Flt = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Signal2_0x014.Drive_Mode = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Signal2_0x014.VCU_IGN_SIG = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Signal2_0x014.VCU_ACU_RC_BMS_SOC = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Signal2_0x014.VCU_ACU_counter2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Signal2_0x014.VCU_ACU_CRC2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Fault_Flag_0x017.ACU_Fault_Flag = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Fault_Flag_0x017.MCU_Actuator_Fault_Flag = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Fault_Flag_0x017.IDB_ECU_Fault_Flag = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Fault_Flag_0x017.RCU_ECU_Fault_Flag = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Fault_Flag_0x017.RWA1_ECU_Fault_Flag = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Fault_Flag_0x017.RWA2_ECU_Fault_Flag = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Fault_Flag_0x017.RWA_Actuator_Fault_Flag = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_ACU_Fault_Flag_0x017.ACU_ECU_Fault_Flag = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_RWA_VCU_ACU_Signal1_0x050.RWA_RackAngleFbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_RWA_VCU_ACU_Signal1_0x050.RWA_RackAngleSpeedFbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_RWA_VCU_ACU_Signal1_0x050.RWA_VCU_ACU_counter1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_RWA_VCU_ACU_Signal1_0x050.RWA_VCU_ACU_CRC1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_RWA_VCU_ACU_Signal2_0x051.RWA_RackAngleFbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_RWA_VCU_ACU_Signal2_0x051.RWA_RackAngleSpeedFbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_RWA_VCU_ACU_Signal2_0x051.RWA_VCU_ACU_counter2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_RWA_VCU_ACU_Signal2_0x051.RWA_VCU_ACU_CRC2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_RWS_VCU_ACU_Signal1_0x060.RWS_RackAngleFbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_RWS_VCU_ACU_Signal1_0x060.RWS_RackAngleSpeedFbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_RWS_VCU_ACU_Signal1_0x060.RWS_VCU_ACU_counter1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_RWS_VCU_ACU_Signal1_0x060.RWS_VCU_ACU_CRC1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_RWS_VCU_ACU_Signal2_0x061.RWS_RackAngleFbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_RWS_VCU_ACU_Signal2_0x061.RWS_RackAngleSpeedFbk = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_RWS_VCU_ACU_Signal2_0x061.RWS_VCU_ACU_counter2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_RWS_VCU_ACU_Signal2_0x061.RWS_VCU_ACU_CRC2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_245h_0x245.VCU_Ready = 1;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_245h_0x245.DrivingPosition = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_ICM_303h_0x303.Speed_Combi = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_CGW_372h_0x372.WelcomeSoundCmd = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_CGW_372h_0x372.GoodbyeSoundCmd = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_VCU_3ACh_0x3AC.Charging_Sts_IND = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal1_0x570.Lamp_RTRN = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal1_0x570.Lamp_Reverse = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal1_0x570.Lamp_LTRN = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal1_0x570.Lamp_Head = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal1_0x570.Lamp_HBEAM = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal1_0x570.Lamp_Hazard = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal1_0x570.Lamp_BRAKE = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal1_0x570.Status_Wiper = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal1_0x570.BCM_CE1_STA = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal1_0x570.BCM_CE2_STA = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal1_0x570.BCM_CE3_STA = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal1_0x570.BCM_CE4_STA = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal1_0x570.BCM_CE5_STA = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal1_0x570.BCM_MAINSW_STA = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal1_0x570.Battery_Voltage = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal2_0x580.ChargingStatus = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal2_0x580.BCM_ChgeCon_DTD = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal2_0x580.BMS_HVOn_STA = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal2_0x580.IntLckSta_OBC = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal2_0x580.IntLckSta_BMS = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal2_0x580.BMS_SOC = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal2_0x580.BMS_SOH = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal2_0x580.CommSta_OBC = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal2_0x580.CommSta_VCU = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal2_0x580.CommSta_BMS = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal2_0x580.CommSta_LDC = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal2_0x580.CommSta_TMS = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal2_0x580.BMS_SOH_INV = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal2_0x580.BMS_SOC_INV = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal2_0x580.Bms_Soc_Wrng = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal2_0x580.Bms_SoH_Wrng = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal2_0x580.BCM_VCU_counter2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal2_0x580.BCM_VCU_CRC2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal5_0x585.OBC_FltSta = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal5_0x585.BMS_FltSta = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal5_0x585.LDC_FltSta = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal5_0x585.BCM_FltSta = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal5_0x585.BMS_TEMP_FAULT = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal5_0x585.LDC_TEMP_FAULT = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal5_0x585.OBC_TEMP_FAULT = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal5_0x585.BCM_VCU_counter5 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal5_0x585.BCM_VCU_CRC5 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_CGW_588h_VC_0x588.VC_DOM = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal3_0x590.Bms_PackVolt = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal3_0x590.Bms_PackCur = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal3_0x590.Bms_PackPwr = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal3_0x590.BCM_VCU_counter3 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal3_0x590.BCM_VCU_CRC3 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal4_0x595.LDC_ACTL_CUR = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH1_BCM_VCU_ACU_Signal4_0x595.LDC_INP_VOLT = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IDB_StartupCommand_0x032.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IDB_StartupCommand_0x032.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IDB_StartupCommand_0x032.WakeUpCommand = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_RWA_RackCommand_0x040.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_RWA_RackCommand_0x040.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_RWA_RackCommand_0x040.RackAngleCmd = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_RWA_RackCommand_0x040.RackAngleCmdValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.BrakeHoldRequest = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.BrakeTorqueCommand = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.DriveTorqueCommand = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.DriveTorqueCommandValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.EscActivation = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.GearPosition = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.ParkBrakeRequest = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.PowertrainMode = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.RbcActivation = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.Reserved1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.Reserved2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.RopActivation = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IDB_BrakeCommand_0x064.TcsActivation = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_RegenCommand_0x06A.ActualMotorTorque = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_RegenCommand_0x06A.ActualMotorTorqueValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_RegenCommand_0x06A.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_RegenCommand_0x06A.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_RegenCommand_0x06A.MaxAvailableRegenTorque = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_RegenCommand_0x06A.MaxAvailableRegenTorqueValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_RegenCommand_0x06A.TractionMotorFault = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IMU_0x070.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IMU_0x070.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IMU_0x070.LateralAcceleration = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IMU_0x070.LateralAccelerationValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IMU_0x070.LongitudinalAcceleration = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IMU_0x070.LongitudinalAccelerationValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IMU_0x070.VehicleSpeed = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IMU_0x070.VehicleSpeedValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IMU_0x070.VehicleYawRate = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IMU_0x070.VehicleYawRateValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_IDB_WheelSpeedStatus_0x088.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_IDB_WheelSpeedStatus_0x088.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_IDB_WheelSpeedStatus_0x088.FrontLeftWheelSpeed = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_IDB_WheelSpeedStatus_0x088.FrontLeftWheelSpeedValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_IDB_WheelSpeedStatus_0x088.FrontRightWheelSpeed = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_IDB_WheelSpeedStatus_0x088.FrontRightWheelSpeedValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_IDB_WheelSpeedStatus_0x088.RearLeftWheelSpeed = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_IDB_WheelSpeedStatus_0x088.RearLeftWheelSpeedValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_IDB_WheelSpeedStatus_0x088.RearRightWheelSpeed = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_IDB_WheelSpeedStatus_0x088.RearRightWheelSpeedValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_RWA_StartupCommand_0x310.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_RWA_StartupCommand_0x310.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_RWA_StartupCommand_0x310.ModeCommand = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_RWA_StartupCommand_0x310.WakeUpCommand = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_RWA_Sister_0x350.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_RWA_Sister_0x350.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_RWA_Sister_0x350.EcuPowerMode = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_RWA_Sister_0x350.EcuRole = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_RWA_Sister_0x350.EcuStatus = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_VehicleEnvironment_0x384.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_VehicleEnvironment_0x384.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_VehicleEnvironment_0x384.EnvironmentTemperature = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_VehicleEnvironment_0x384.EnvironmentTemperatureValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_VehicleEnvironment_0x384.TimestampDay = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_VehicleEnvironment_0x384.TimestampHour = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_VehicleEnvironment_0x384.TimestampMinute = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_VehicleEnvironment_0x384.TimestampMonth = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_VehicleEnvironment_0x384.TimestampSecond = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_VehicleEnvironment_0x384.TimestampYear = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH2_BSC_IDB_UdsRequest_0x796.UdsRequest = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RCU_StartupCommand_0x033.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RCU_StartupCommand_0x033.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RCU_StartupCommand_0x033.WakeUpCommand = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RWA_RackCommand_0x040.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RWA_RackCommand_0x040.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RWA_RackCommand_0x040.RackAngleCmd = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RWA_RackCommand_0x040.RackAngleCmdValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RCU_BrakeCommand_0x065.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RCU_BrakeCommand_0x065.BrakeHoldRequest = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RCU_BrakeCommand_0x065.BrakeTorqueCommand = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RCU_BrakeCommand_0x065.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RCU_BrakeCommand_0x065.EscActivation = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RCU_BrakeCommand_0x065.GearPosition = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RCU_BrakeCommand_0x065.ParkBrakeRequest = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RCU_BrakeCommand_0x065.PowertrainMode = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RCU_BrakeCommand_0x065.Reserved1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RCU_BrakeCommand_0x065.Reserved2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_IMU_0x071.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_IMU_0x071.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_IMU_0x071.LateralAcceleration = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_IMU_0x071.LateralAccelerationValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_IMU_0x071.LongitudinalAcceleration = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_IMU_0x071.LongitudinalAccelerationValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_IMU_0x071.VehicleSpeed = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_IMU_0x071.VehicleSpeedValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_IMU_0x071.VehicleYawRate = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_IMU_0x071.VehicleYawRateValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_RCU_WheelSpeedStatus_0x089.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_RCU_WheelSpeedStatus_0x089.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_RCU_WheelSpeedStatus_0x089.FrontLeftWheelSpeed = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_RCU_WheelSpeedStatus_0x089.FrontLeftWheelSpeedValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_RCU_WheelSpeedStatus_0x089.FrontRightWheelSpeed = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_RCU_WheelSpeedStatus_0x089.FrontRightWheelSpeedValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_RCU_WheelSpeedStatus_0x089.RearLeftWheelSpeed = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_RCU_WheelSpeedStatus_0x089.RearLeftWheelSpeedValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_RCU_WheelSpeedStatus_0x089.RearRightWheelSpeed = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_RCU_WheelSpeedStatus_0x089.RearRightWheelSpeedValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RWA_StartupCommand_0x310.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RWA_StartupCommand_0x310.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RWA_StartupCommand_0x310.ModeCommand = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RWA_StartupCommand_0x310.WakeUpCommand = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RWA_Sister_0x350.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RWA_Sister_0x350.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RWA_Sister_0x350.EcuPowerMode = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RWA_Sister_0x350.EcuRole = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RWA_Sister_0x350.EcuStatus = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_VehicleEnvironment_0x385.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_VehicleEnvironment_0x385.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_VehicleEnvironment_0x385.EnvironmentTemperature = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_VehicleEnvironment_0x385.EnvironmentTemperatureValid = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_VehicleEnvironment_0x385.TimestampDay = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_VehicleEnvironment_0x385.TimestampHour = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_VehicleEnvironment_0x385.TimestampMinute = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_VehicleEnvironment_0x385.TimestampMonth = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_VehicleEnvironment_0x385.TimestampSecond = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_VehicleEnvironment_0x385.TimestampYear = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH3_BSC_RCU_UdsRequest_0x797.UdsRequest = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH4_VCU_RWS_Rack_Cmd_0x040.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH4_VCU_RWS_Rack_Cmd_0x040.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH4_VCU_RWS_Rack_Cmd_0x040.RackAngleCmd1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH4_VCU_RWS_Rack_Cmd_0x040.RackAngleCmdValid1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH4_VCU_RWS_StartupCommand_0x310.RWS_ModeCommand1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH4_VCU_RWS_StartupCommand_0x310.RWS_WakeUpCommand1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH4_VCU_RWS_Sister_0x350.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH4_VCU_RWS_Sister_0x350.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH4_VCU_RWS_Sister_0x350.EcuPowerMode1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH4_VCU_RWS_Sister_0x350.EcuStatus1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH4_VCU_RWS_Sister_0x350.EcuRole1 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH5_VCU_RWS_Rack_Cmd_0x040.Arc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH5_VCU_RWS_Rack_Cmd_0x040.Crc = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH5_VCU_RWS_Rack_Cmd_0x040.RackAngleCmd2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH5_VCU_RWS_Rack_Cmd_0x040.RackAngleCmdValid2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH5_VCU_RWS_StartupCommand_0x310.RWS_ModeCommand2 = 0;
  # DEBUG BEGIN_STMT
  ECU3.TX.CH5_VCU_RWS_StartupCommand_0x310.RWS_WakeUpCommand2 = 0;
  return;

}


Can_Init_ECU3 (int ch)
{
  uint8_t i;
  uint8_t i;
  uint8_t i;
  uint8_t i;
  uint8_t i;
  uint8_t i;
  uint8_t idx;
  struct Flexcan_Ip_DataInfoType * _1;
  unsigned char _2;
  unsigned char _3;
  struct Flexcan_Ip_DataInfoType * _4;
  int _5;
  <unnamed-unsigned:29> _6;
  long unsigned int _7;
  unsigned char _8;
  unsigned int _9;
  unsigned int _10;
  struct Flexcan_Ip_MsgBuffType * _11;
  unsigned char idx.13_12;
  unsigned char i.14_13;
  unsigned char _14;
  struct Flexcan_Ip_DataInfoType * _15;
  int _16;
  <unnamed-unsigned:29> _17;
  long unsigned int _18;
  unsigned char _19;
  unsigned int _20;
  unsigned int _21;
  struct Flexcan_Ip_MsgBuffType * _22;
  unsigned char idx.15_23;
  unsigned char i.16_24;
  unsigned char _25;
  struct Flexcan_Ip_DataInfoType * _26;
  int _27;
  <unnamed-unsigned:29> _28;
  long unsigned int _29;
  unsigned char _30;
  unsigned int _31;
  unsigned int _32;
  struct Flexcan_Ip_MsgBuffType * _33;
  unsigned char idx.17_34;
  unsigned char i.18_35;
  unsigned char _36;
  struct Flexcan_Ip_DataInfoType * _37;
  int _38;
  <unnamed-unsigned:29> _39;
  long unsigned int _40;
  unsigned char _41;
  unsigned int _42;
  unsigned int _43;
  struct Flexcan_Ip_MsgBuffType * _44;
  unsigned char idx.19_45;
  unsigned char i.20_46;
  unsigned char _47;
  struct Flexcan_Ip_DataInfoType * _48;
  int _49;
  <unnamed-unsigned:29> _50;
  long unsigned int _51;
  unsigned char _52;
  unsigned int _53;
  unsigned int _54;
  struct Flexcan_Ip_MsgBuffType * _55;
  unsigned char idx.21_56;
  unsigned char i.22_57;
  int _58;
  unsigned char i.23_59;
  int _190;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ch_83(D) == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (109);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (109, CAN0_ORED_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (110);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (110, CAN0_ORED_0_31_MB_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434696B, 8, 1);
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434696B, 5, 1);
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_Init_Privileged (0, &FlexCAN_State0, &FlexCAN_Config0);
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_SetRxMaskType_Privileged (0, 1);
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_SetRxIndividualMask_Privileged (0, 14, 0);
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_SetStartMode_Privileged (0);
  # DEBUG BEGIN_STMT
  _1 = &rx_info[ch_83(D)];
  FlexCAN_Ip_ConfigRxMb (0, 14, _1, 0);
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_Receive (0, 14, &can0_rxData[14], 0);
  # DEBUG BEGIN_STMT
  ECU3_Data_Init ();
  # DEBUG BEGIN_STMT
  _2 = (unsigned char) ch_83(D);
  clear_tx_buf (_2);
  # DEBUG BEGIN_STMT
  gb.can[ch_83(D)].bus_off = 1;
  # DEBUG BEGIN_STMT
  gb.can[ch_83(D)].error = 1;

  <bb 4> :
  # DEBUG BEGIN_STMT
  if (ch_83(D) == 1)
    goto <bb 5>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (113);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (113, CAN1_ORED_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (114);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (114, CAN1_ORED_0_31_MB_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434700B, 7, 1);
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434702B, 2, 1);
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_Init_Privileged (1, &FlexCAN_State1, &FlexCAN_Config1);
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_SetStartMode_Privileged (1);
  # DEBUG BEGIN_STMT
  idx_109 = 0;
  # DEBUG idx => idx_109
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  i_110 = 0;
  # DEBUG i => i_110
  goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _3 = idx_60 + 28;
  _4 = &rx_info[ch_83(D)];
  _5 = (int) i_65;
  _6 = g_messageObjectConf_ECU3_1ch_RX[_5].messageId;
  _7 = (long unsigned int) _6;
  FlexCAN_Ip_ConfigRxMb (1, _3, _4, _7);
  # DEBUG BEGIN_STMT
  _8 = idx_60 + 28;
  _9 = (unsigned int) idx_60;
  _10 = _9 + 28;
  _11 = &can1_rxData[_10];
  FlexCAN_Ip_Receive (1, _8, _11, 0);
  # DEBUG BEGIN_STMT
  idx.13_12 = idx_60;
  idx_115 = idx.13_12 + 1;
  # DEBUG idx => idx_115
  # DEBUG BEGIN_STMT
  i.14_13 = i_65;
  i_116 = i.14_13 + 1;
  # DEBUG i => i_116

  <bb 7> :
  # idx_60 = PHI <idx_109(5), idx_115(6)>
  # i_65 = PHI <i_110(5), i_116(6)>
  # DEBUG i => i_65
  # DEBUG idx => idx_60
  # DEBUG BEGIN_STMT
  if (i_65 <= 3)
    goto <bb 6>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  gb.can[ch_83(D)].bus_off = 1;
  # DEBUG BEGIN_STMT
  gb.can[ch_83(D)].error = 1;

  <bb 9> :
  # DEBUG BEGIN_STMT
  if (ch_83(D) == 2)
    goto <bb 10>; [INV]
  else
    goto <bb 14>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (116);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (116, CAN2_ORED_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (117);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (117, CAN2_ORED_0_31_MB_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434702B, 4, 1);
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434700B, 6, 1);
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_Init_Privileged (2, &FlexCAN_State2, &FlexCAN_Config2);
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_SetStartMode_Privileged (2);
  # DEBUG BEGIN_STMT
  idx_125 = 0;
  # DEBUG idx => idx_125
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  i_126 = 0;
  # DEBUG i => i_126
  goto <bb 12>; [INV]

  <bb 11> :
  # DEBUG BEGIN_STMT
  _14 = idx_61 + 14;
  _15 = &rx_info[ch_83(D)];
  _16 = (int) i_66;
  _17 = g_messageObjectConf_ECU3_2ch_RX[_16].messageId;
  _18 = (long unsigned int) _17;
  FlexCAN_Ip_ConfigRxMb (2, _14, _15, _18);
  # DEBUG BEGIN_STMT
  _19 = idx_61 + 14;
  _20 = (unsigned int) idx_61;
  _21 = _20 + 14;
  _22 = &can2_rxData[_21];
  FlexCAN_Ip_Receive (2, _19, _22, 0);
  # DEBUG BEGIN_STMT
  idx.15_23 = idx_61;
  idx_131 = idx.15_23 + 1;
  # DEBUG idx => idx_131
  # DEBUG BEGIN_STMT
  i.16_24 = i_66;
  i_132 = i.16_24 + 1;
  # DEBUG i => i_132

  <bb 12> :
  # idx_61 = PHI <idx_125(10), idx_131(11)>
  # i_66 = PHI <i_126(10), i_132(11)>
  # DEBUG i => i_66
  # DEBUG idx => idx_61
  # DEBUG BEGIN_STMT
  if (i_66 <= 10)
    goto <bb 11>; [INV]
  else
    goto <bb 13>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  gb.can[ch_83(D)].bus_off = 1;
  # DEBUG BEGIN_STMT
  gb.can[ch_83(D)].error = 1;

  <bb 14> :
  # DEBUG BEGIN_STMT
  if (ch_83(D) == 3)
    goto <bb 15>; [INV]
  else
    goto <bb 19>; [INV]

  <bb 15> :
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (119);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (119, CAN3_ORED_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (120);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (120, CAN3_ORED_0_31_MB_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434694B, 0, 1);
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434694B, 1, 1);
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_Init_Privileged (3, &FlexCAN_State3, &FlexCAN_Config3);
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_SetStartMode_Privileged (3);
  # DEBUG BEGIN_STMT
  idx_141 = 0;
  # DEBUG idx => idx_141
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  i_142 = 0;
  # DEBUG i => i_142
  goto <bb 17>; [INV]

  <bb 16> :
  # DEBUG BEGIN_STMT
  _25 = idx_62 + 14;
  _26 = &rx_info[ch_83(D)];
  _27 = (int) i_67;
  _28 = g_messageObjectConf_ECU3_3ch_RX[_27].messageId;
  _29 = (long unsigned int) _28;
  FlexCAN_Ip_ConfigRxMb (3, _25, _26, _29);
  # DEBUG BEGIN_STMT
  _30 = idx_62 + 14;
  _31 = (unsigned int) idx_62;
  _32 = _31 + 14;
  _33 = &can3_rxData[_32];
  FlexCAN_Ip_Receive (3, _30, _33, 0);
  # DEBUG BEGIN_STMT
  idx.17_34 = idx_62;
  idx_147 = idx.17_34 + 1;
  # DEBUG idx => idx_147
  # DEBUG BEGIN_STMT
  i.18_35 = i_67;
  i_148 = i.18_35 + 1;
  # DEBUG i => i_148

  <bb 17> :
  # idx_62 = PHI <idx_141(15), idx_147(16)>
  # i_67 = PHI <i_142(15), i_148(16)>
  # DEBUG i => i_67
  # DEBUG idx => idx_62
  # DEBUG BEGIN_STMT
  if (i_67 <= 9)
    goto <bb 16>; [INV]
  else
    goto <bb 18>; [INV]

  <bb 18> :
  # DEBUG BEGIN_STMT
  gb.can[ch_83(D)].bus_off = 1;
  # DEBUG BEGIN_STMT
  gb.can[ch_83(D)].error = 1;

  <bb 19> :
  # DEBUG BEGIN_STMT
  if (ch_83(D) == 4)
    goto <bb 20>; [INV]
  else
    goto <bb 24>; [INV]

  <bb 20> :
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (121);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (121, CAN4_ORED_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (122);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (122, CAN4_ORED_0_31_MB_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434696B, 10, 1);
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434696B, 9, 1);
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_Init_Privileged (4, &FlexCAN_State4, &FlexCAN_Config_500k);
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_SetStartMode_Privileged (4);
  # DEBUG BEGIN_STMT
  setupCanTJA1153 (ch_83(D), 1076434696B, 9);
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_Init_Privileged (4, &FlexCAN_State4, &FlexCAN_Config4);
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_SetStartMode_Privileged (4);
  # DEBUG BEGIN_STMT
  idx_160 = 0;
  # DEBUG idx => idx_160
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  i_161 = 0;
  # DEBUG i => i_161
  goto <bb 22>; [INV]

  <bb 21> :
  # DEBUG BEGIN_STMT
  _36 = idx_63 + 14;
  _37 = &rx_info[ch_83(D)];
  _38 = (int) i_68;
  _39 = g_messageObjectConf_ECU3_4ch_RX[_38].messageId;
  _40 = (long unsigned int) _39;
  FlexCAN_Ip_ConfigRxMb (4, _36, _37, _40);
  # DEBUG BEGIN_STMT
  _41 = idx_63 + 14;
  _42 = (unsigned int) idx_63;
  _43 = _42 + 14;
  _44 = &can4_rxData[_43];
  FlexCAN_Ip_Receive (4, _41, _44, 0);
  # DEBUG BEGIN_STMT
  idx.19_45 = idx_63;
  idx_166 = idx.19_45 + 1;
  # DEBUG idx => idx_166
  # DEBUG BEGIN_STMT
  i.20_46 = i_68;
  i_167 = i.20_46 + 1;
  # DEBUG i => i_167

  <bb 22> :
  # idx_63 = PHI <idx_160(20), idx_166(21)>
  # i_68 = PHI <i_161(20), i_167(21)>
  # DEBUG i => i_68
  # DEBUG idx => idx_63
  # DEBUG BEGIN_STMT
  if (i_68 <= 1)
    goto <bb 21>; [INV]
  else
    goto <bb 23>; [INV]

  <bb 23> :
  # DEBUG BEGIN_STMT
  gb.can[ch_83(D)].bus_off = 1;
  # DEBUG BEGIN_STMT
  gb.can[ch_83(D)].error = 1;

  <bb 24> :
  # DEBUG BEGIN_STMT
  if (ch_83(D) == 5)
    goto <bb 25>; [INV]
  else
    goto <bb 29>; [INV]

  <bb 25> :
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (123);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (123, CAN5_ORED_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (124);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (124, CAN5_ORED_0_31_MB_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434700B, 14, 1);
  # DEBUG BEGIN_STMT
  Siul2_Dio_Ip_WritePin (1076434704B, 1, 1);
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_Init_Privileged (5, &FlexCAN_State5, &FlexCAN_Config_500k);
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_SetStartMode_Privileged (5);
  # DEBUG BEGIN_STMT
  setupCanTJA1153 (ch_83(D), 1076434704B, 1);
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_Init_Privileged (5, &FlexCAN_State5, &FlexCAN_Config5);
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_SetStartMode_Privileged (5);
  # DEBUG BEGIN_STMT
  idx_179 = 0;
  # DEBUG idx => idx_179
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  i_180 = 0;
  # DEBUG i => i_180
  goto <bb 27>; [INV]

  <bb 26> :
  # DEBUG BEGIN_STMT
  _47 = idx_64 + 14;
  _48 = &rx_info[ch_83(D)];
  _49 = (int) i_69;
  _50 = g_messageObjectConf_ECU3_5ch_RX[_49].messageId;
  _51 = (long unsigned int) _50;
  FlexCAN_Ip_ConfigRxMb (5, _47, _48, _51);
  # DEBUG BEGIN_STMT
  _52 = idx_64 + 14;
  _53 = (unsigned int) idx_64;
  _54 = _53 + 14;
  _55 = &can5_rxData[_54];
  FlexCAN_Ip_Receive (5, _52, _55, 0);
  # DEBUG BEGIN_STMT
  idx.21_56 = idx_64;
  idx_185 = idx.21_56 + 1;
  # DEBUG idx => idx_185
  # DEBUG BEGIN_STMT
  i.22_57 = i_69;
  i_186 = i.22_57 + 1;
  # DEBUG i => i_186

  <bb 27> :
  # idx_64 = PHI <idx_179(25), idx_185(26)>
  # i_69 = PHI <i_180(25), i_186(26)>
  # DEBUG i => i_69
  # DEBUG idx => idx_64
  # DEBUG BEGIN_STMT
  if (i_69 <= 1)
    goto <bb 26>; [INV]
  else
    goto <bb 28>; [INV]

  <bb 28> :
  # DEBUG BEGIN_STMT
  gb.can[ch_83(D)].bus_off = 1;
  # DEBUG BEGIN_STMT
  gb.can[ch_83(D)].error = 1;

  <bb 29> :
  # DEBUG BEGIN_STMT
  CAN_ch[ch_83(D)].p_rd = 0;
  # DEBUG BEGIN_STMT
  CAN_ch[ch_83(D)].p_wr = 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  i_189 = 0;
  # DEBUG i => i_189
  goto <bb 31>; [INV]

  <bb 30> :
  # DEBUG BEGIN_STMT
  _58 = (int) i_70;
  CAN_ch[ch_83(D)].tx_ring[_58].xreq = 0;
  # DEBUG BEGIN_STMT
  i.23_59 = i_70;
  i_192 = i.23_59 + 1;
  # DEBUG i => i_192

  <bb 31> :
  # i_70 = PHI <i_189(29), i_192(30)>
  # DEBUG i => i_70
  # DEBUG BEGIN_STMT
  if (i_70 <= 199)
    goto <bb 30>; [INV]
  else
    goto <bb 32>; [INV]

  <bb 32> :
  # DEBUG BEGIN_STMT
  _190 = 0;
  return _190;

}


can_main_ECU3 ()
{
  uint8_t j;
  u32 idx;
  u8 i;
  unsigned int _1;
  int _2;
  int _3;
  int _4;
  int _5;
  int _6;
  int _7;
  unsigned char _8;
  unsigned char i.11_9;
  unsigned int _10;
  int _11;
  unsigned int _12;
  int _13;
  unsigned int _14;
  int _15;
  unsigned char _16;
  int _17;
  int _18;
  unsigned int _19;
  int _20;
  int _21;
  unsigned int _22;
  unsigned int _23;
  int _24;
  unsigned int _25;
  unsigned char j.12_26;
  unsigned char _27;
  long unsigned int _28;
  unsigned char _29;
  long unsigned int _30;
  unsigned char _31;
  long unsigned int _32;
  unsigned char _33;
  long unsigned int _34;
  unsigned char _35;
  long unsigned int _36;
  unsigned char _37;
  long unsigned int _38;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  j_50 = 0;
  # DEBUG j => j_50
  goto <bb 9>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned int) j_40;
  _2 = get_can_data (_1);
  if (_2 == 0)
    goto <bb 4>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _3 = (int) j_40;
  idx_104 = gb.can[_3].head;
  # DEBUG idx => idx_104
  # DEBUG BEGIN_STMT
  i_105 = 0;
  # DEBUG i => i_105
  goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _4 = (int) j_40;
  _5 = (int) i_39;
  _6 = (int) j_40;
  _7 = (int) i_39;
  _8 = gb.can[_4].data[idx_104][_5];
  CAN_ch[_6].rx.buf[_7] = _8;
  # DEBUG BEGIN_STMT
  i.11_9 = i_39;
  i_111 = i.11_9 + 1;
  # DEBUG i => i_111

  <bb 6> :
  # i_39 = PHI <i_105(4), i_111(5)>
  # DEBUG i => i_39
  # DEBUG BEGIN_STMT
  _10 = (unsigned int) i_39;
  _11 = (int) j_40;
  _12 = gb.can[_11].len[idx_104];
  if (_10 < _12)
    goto <bb 5>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  _13 = (int) j_40;
  _14 = gb.can[_13].len[idx_104];
  _15 = (int) j_40;
  _16 = (unsigned char) _14;
  CAN_ch[_15].rx.len = _16;
  # DEBUG BEGIN_STMT
  _17 = (int) j_40;
  _18 = (int) j_40;
  _19 = gb.can[_17].msgId[idx_104];
  CAN_ch[_18].rx.id = _19;
  # DEBUG BEGIN_STMT
  _20 = (int) j_40;
  CAN_ch[_20].rx.xreq = 1;
  # DEBUG BEGIN_STMT
  _21 = (int) j_40;
  _22 = gb.can[_21].head;
  _23 = _22 + 1;
  _24 = (int) j_40;
  _25 = _23 % 100;
  gb.can[_24].head = _25;

  <bb 8> :
  # DEBUG BEGIN_STMT
  j.12_26 = j_40;
  j_112 = j.12_26 + 1;
  # DEBUG j => j_112

  <bb 9> :
  # j_40 = PHI <j_50(2), j_112(8)>
  # DEBUG j => j_40
  # DEBUG BEGIN_STMT
  if (j_40 <= 5)
    goto <bb 3>; [INV]
  else
    goto <bb 10>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  _27 = CAN_ch[0].rx.xreq;
  if (_27 == 1)
    goto <bb 11>; [INV]
  else
    goto <bb 28>; [INV]

  <bb 11> :
  # DEBUG BEGIN_STMT
  CAN_ch[0].rx.xreq = 0;
  # DEBUG BEGIN_STMT
  _28 = CAN_ch[0].rx.id;
  switch (_28) <default: <L25> [INV], case 64: <L16> [INV], case 65: <L17> [INV], case 66: <L24> [INV], case 341: <L21> [INV], case 372: <L18> [INV], case 376: <L19> [INV], case 380: <L20> [INV], case 545: <L22> [INV], case 768: <L14> [INV], case 769: <L15> [INV], case 1392: <L9> [INV], case 1408: <L10> [INV], case 1413: <L13> [INV], case 1424: <L11> [INV], case 1429: <L12> [INV], case 1911: <L23> [INV]>

  <bb 12> :
<L9>:
  # DEBUG BEGIN_STMT
  Receive_BCM_VCU_Signal1_CH0_0x570 ();
  # DEBUG BEGIN_STMT
  goto <bb 28>; [INV]

  <bb 13> :
<L10>:
  # DEBUG BEGIN_STMT
  Receive_BCM_VCU_Signal2_CH0_0x580 ();
  # DEBUG BEGIN_STMT
  goto <bb 28>; [INV]

  <bb 14> :
<L11>:
  # DEBUG BEGIN_STMT
  Receive_BCM_VCU_Signal3_CH0_0x590 ();
  # DEBUG BEGIN_STMT
  goto <bb 28>; [INV]

  <bb 15> :
<L12>:
  # DEBUG BEGIN_STMT
  Receive_BCM_VCU_Signal4_CH0_0x595 ();
  # DEBUG BEGIN_STMT
  goto <bb 28>; [INV]

  <bb 16> :
<L13>:
  # DEBUG BEGIN_STMT
  Receive_BCM_VCU_Signal5_CH0_0x585 ();
  # DEBUG BEGIN_STMT
  goto <bb 28>; [INV]

  <bb 17> :
<L14>:
  # DEBUG BEGIN_STMT
  Receive_MCU_VCU_Signals1_CH0_0x300 ();
  # DEBUG BEGIN_STMT
  goto <bb 28>; [INV]

  <bb 18> :
<L15>:
  # DEBUG BEGIN_STMT
  Receive_MCU_VCU_Signals2_CH0_0x301 ();
  # DEBUG BEGIN_STMT
  goto <bb 28>; [INV]

  <bb 19> :
<L16>:
  # DEBUG BEGIN_STMT
  Receive_RC_VCU_Signal1_CH0_0x040 ();
  # DEBUG BEGIN_STMT
  goto <bb 28>; [INV]

  <bb 20> :
<L17>:
  # DEBUG BEGIN_STMT
  Receive_RC_VCU_Signal2_CH0_0x041 ();
  # DEBUG BEGIN_STMT
  goto <bb 28>; [INV]

  <bb 21> :
<L18>:
  # DEBUG BEGIN_STMT
  Receive_IMU_TX1_CH0_0x174 ();
  # DEBUG BEGIN_STMT
  goto <bb 28>; [INV]

  <bb 22> :
<L19>:
  # DEBUG BEGIN_STMT
  Receive_IMU_TX1_CH0_0x178 ();
  # DEBUG BEGIN_STMT
  goto <bb 28>; [INV]

  <bb 23> :
<L20>:
  # DEBUG BEGIN_STMT
  Receive_IMU_TX1_CH0_0x17C ();
  # DEBUG BEGIN_STMT
  goto <bb 28>; [INV]

  <bb 24> :
<L21>:
  # DEBUG BEGIN_STMT
  Receive_RC_VCU_BCM_Signal_1_CH0_0x155 ();
  # DEBUG BEGIN_STMT
  goto <bb 28>; [INV]

  <bb 25> :
<L22>:
  # DEBUG BEGIN_STMT
  Receive_EPAM_VCU_CH0_0x221 ();
  # DEBUG BEGIN_STMT
  goto <bb 28>; [INV]

  <bb 26> :
<L23>:
  # DEBUG BEGIN_STMT
  Receive_Debugging_CH0_0x777 ();
  # DEBUG BEGIN_STMT
  goto <bb 28>; [INV]

  <bb 27> :
<L24>:
  # DEBUG BEGIN_STMT
  Receive_RC_VCU_Fault_Flag_CH0_0x042 ();
  # DEBUG BEGIN_STMT

  <bb 28> :
<L25>:
  # DEBUG BEGIN_STMT
  _29 = CAN_ch[1].rx.xreq;
  if (_29 == 1)
    goto <bb 29>; [INV]
  else
    goto <bb 34>; [INV]

  <bb 29> :
  # DEBUG BEGIN_STMT
  CAN_ch[1].rx.xreq = 0;
  # DEBUG BEGIN_STMT
  _30 = CAN_ch[1].rx.id;
  switch (_30) <default: <L33> [INV], case 145: <L29> [INV], case 146: <L30> [INV], case 147: <L31> [INV], case 337: <L32> [INV]>

  <bb 30> :
<L29>:
  # DEBUG BEGIN_STMT
  Receive_ACU_VCU_Signal1_CH1_0x091 ();
  # DEBUG BEGIN_STMT
  goto <bb 34>; [INV]

  <bb 31> :
<L30>:
  # DEBUG BEGIN_STMT
  Receive_ACU_VCU_Signal2_CH1_0x092 ();
  # DEBUG BEGIN_STMT
  goto <bb 34>; [INV]

  <bb 32> :
<L31>:
  # DEBUG BEGIN_STMT
  Receive_ACU_VCU_Signal3_CH1_0x093 ();
  # DEBUG BEGIN_STMT
  goto <bb 34>; [INV]

  <bb 33> :
<L32>:
  # DEBUG BEGIN_STMT
  Receive_ACU_BCM_Signal_1_CH1_0x151 ();
  # DEBUG BEGIN_STMT

  <bb 34> :
<L33>:
  # DEBUG BEGIN_STMT
  _31 = CAN_ch[2].rx.xreq;
  if (_31 == 1)
    goto <bb 35>; [INV]
  else
    goto <bb 47>; [INV]

  <bb 35> :
  # DEBUG BEGIN_STMT
  CAN_ch[2].rx.xreq = 0;
  # DEBUG BEGIN_STMT
  _32 = CAN_ch[2].rx.id;
  switch (_32) <default: <L48> [INV], case 114: <L45> [INV], case 115: <L46> [INV], case 130: <L40> [INV], case 140: <L44> [INV], case 146: <L41> [INV], case 150: <L42> [INV], case 154: <L37> [INV], case 160: <L39> [INV], case 170: <L47> [INV], case 200: <L38> [INV], case 1944: <L43> [INV]>

  <bb 36> :
<L37>:
  # DEBUG BEGIN_STMT
  Receive_IDB_BrakeStatus1_CH2_0x09A ();
  # DEBUG BEGIN_STMT
  goto <bb 47>; [INV]

  <bb 37> :
<L38>:
  # DEBUG BEGIN_STMT
  Receive_IDB_BrakeStatus2_CH2_0x0C8 ();
  # DEBUG BEGIN_STMT
  goto <bb 47>; [INV]

  <bb 38> :
<L39>:
  # DEBUG BEGIN_STMT
  Receive_IDB_PressureStatus_CH2_0x0A0 ();
  # DEBUG BEGIN_STMT
  goto <bb 47>; [INV]

  <bb 39> :
<L40>:
  # DEBUG BEGIN_STMT
  Receive_IDB_RegenTcsRequest_CH2_0x082 ();
  # DEBUG BEGIN_STMT
  goto <bb 47>; [INV]

  <bb 40> :
<L41>:
  # DEBUG BEGIN_STMT
  Receive_IDB_Status_CH2_0x092 ();
  # DEBUG BEGIN_STMT
  goto <bb 47>; [INV]

  <bb 41> :
<L42>:
  # DEBUG BEGIN_STMT
  Receive_IDB_TireSlipStatus_CH2_0x096 ();
  # DEBUG BEGIN_STMT
  goto <bb 47>; [INV]

  <bb 42> :
<L43>:
  # DEBUG BEGIN_STMT
  Receive_IDB_UdsResponse_CH2_0x798 ();
  # DEBUG BEGIN_STMT
  goto <bb 47>; [INV]

  <bb 43> :
<L44>:
  # DEBUG BEGIN_STMT
  Receive_IDB_WheelStatus_CH2_0x08C ();
  # DEBUG BEGIN_STMT
  goto <bb 47>; [INV]

  <bb 44> :
<L45>:
  # DEBUG BEGIN_STMT
  Receive_RWA_Status1_CH2_0x072 ();
  # DEBUG BEGIN_STMT
  goto <bb 47>; [INV]

  <bb 45> :
<L46>:
  # DEBUG BEGIN_STMT
  Receive_RWA_Status2_CH2_0x073 ();
  # DEBUG BEGIN_STMT
  goto <bb 47>; [INV]

  <bb 46> :
<L47>:
  # DEBUG BEGIN_STMT
  Receive_RWA_Status3_CH2_0x0AA ();
  # DEBUG BEGIN_STMT

  <bb 47> :
<L48>:
  # DEBUG BEGIN_STMT
  _33 = CAN_ch[3].rx.xreq;
  if (_33 == 1)
    goto <bb 48>; [INV]
  else
    goto <bb 59>; [INV]

  <bb 48> :
  # DEBUG BEGIN_STMT
  CAN_ch[3].rx.xreq = 0;
  # DEBUG BEGIN_STMT
  _34 = CAN_ch[3].rx.id;
  switch (_34) <default: <L62> [INV], case 114: <L55> [INV], case 115: <L56> [INV], case 141: <L59> [INV], case 147: <L60> [INV], case 151: <L58> [INV], case 155: <L52> [INV], case 161: <L54> [INV], case 170: <L57> [INV], case 201: <L53> [INV], case 1945: <L61> [INV]>

  <bb 49> :
<L52>:
  # DEBUG BEGIN_STMT
  Receive_RCU_BrakeStatus1_CH3_0x09B ();
  # DEBUG BEGIN_STMT
  goto <bb 59>; [INV]

  <bb 50> :
<L53>:
  # DEBUG BEGIN_STMT
  Receive_RCU_BrakeStatus2_CH3_0x0C9 ();
  # DEBUG BEGIN_STMT
  goto <bb 59>; [INV]

  <bb 51> :
<L54>:
  # DEBUG BEGIN_STMT
  Receive_RCU_PressureStatus_CH3_0x0A1 ();
  # DEBUG BEGIN_STMT
  goto <bb 59>; [INV]

  <bb 52> :
<L55>:
  # DEBUG BEGIN_STMT
  Receive_RWA_Status1_CH3_0x072 ();
  # DEBUG BEGIN_STMT
  goto <bb 59>; [INV]

  <bb 53> :
<L56>:
  # DEBUG BEGIN_STMT
  Receive_RWA_Status2_CH3_0x073 ();
  # DEBUG BEGIN_STMT
  goto <bb 59>; [INV]

  <bb 54> :
<L57>:
  # DEBUG BEGIN_STMT
  Receive_RWA_Status3_CH3_0x0AA ();
  # DEBUG BEGIN_STMT
  goto <bb 59>; [INV]

  <bb 55> :
<L58>:
  # DEBUG BEGIN_STMT
  Receive_RCU_TireSlipStatus_CH3_0x097 ();
  # DEBUG BEGIN_STMT
  goto <bb 59>; [INV]

  <bb 56> :
<L59>:
  # DEBUG BEGIN_STMT
  Receive_RCU_WheelStatus_CH3_0x08D ();
  # DEBUG BEGIN_STMT
  goto <bb 59>; [INV]

  <bb 57> :
<L60>:
  # DEBUG BEGIN_STMT
  Receive_RCU_Status_CH3_0x093 ();
  # DEBUG BEGIN_STMT
  goto <bb 59>; [INV]

  <bb 58> :
<L61>:
  # DEBUG BEGIN_STMT
  Receive_RCU_UdsResponse_CH3_0x799 ();
  # DEBUG BEGIN_STMT

  <bb 59> :
<L62>:
  # DEBUG BEGIN_STMT
  _35 = CAN_ch[4].rx.xreq;
  if (_35 == 1)
    goto <bb 60>; [INV]
  else
    goto <bb 63>; [INV]

  <bb 60> :
  # DEBUG BEGIN_STMT
  CAN_ch[4].rx.xreq = 0;
  # DEBUG BEGIN_STMT
  _36 = CAN_ch[4].rx.id;
  switch (_36) <default: <L68> [INV], case 114: <L67> [INV], case 115: <L66> [INV]>

  <bb 61> :
<L66>:
  # DEBUG BEGIN_STMT
  Receive_RWS_VCU_Rack_AngleFbk_CH4_0x073 ();
  # DEBUG BEGIN_STMT
  goto <bb 63>; [INV]

  <bb 62> :
<L67>:
  # DEBUG BEGIN_STMT
  Receive_RWS_VCU_stat_Signal_CH4_0x072 ();
  # DEBUG BEGIN_STMT

  <bb 63> :
<L68>:
  # DEBUG BEGIN_STMT
  _37 = CAN_ch[5].rx.xreq;
  if (_37 == 1)
    goto <bb 64>; [INV]
  else
    goto <bb 67>; [INV]

  <bb 64> :
  # DEBUG BEGIN_STMT
  CAN_ch[5].rx.xreq = 0;
  # DEBUG BEGIN_STMT
  _38 = CAN_ch[5].rx.id;
  switch (_38) <default: <L74> [INV], case 114: <L73> [INV], case 115: <L72> [INV]>

  <bb 65> :
<L72>:
  # DEBUG BEGIN_STMT
  Receive_RWS_VCU_Rack_AngleFbk_CH5_0x073 ();
  # DEBUG BEGIN_STMT
  goto <bb 67>; [INV]

  <bb 66> :
<L73>:
  # DEBUG BEGIN_STMT
  Receive_RWS_VCU_stat_Signal_CH5_0x072 ();
  # DEBUG BEGIN_STMT

  <bb 67> :
<L74>:
  return;

}


get_can_data (u32 ch)
{
  unsigned int _1;
  unsigned int _2;
  int _3;
  int _6;
  int _7;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = gb.can[ch_5(D)].head;
  _2 = gb.can[ch_5(D)].tail;
  if (_1 == _2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _7 = 1;
  // predicted unlikely by early return (on trees) predictor.
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _6 = 0;

  <bb 5> :
  # _3 = PHI <_7(3), _6(4)>
  return _3;

}


CAN5_ErrCallback (uint8_t instance, Flexcan_Ip_EventType eventType, uint32_t u32ErrStatus, const struct FlexCANState * driverState)
{
  int _1;
  int _2;
  int _3;
  void (*<T2ef>) (int) _4;
  int _5;
  void (*<T2ef>) (int) _6;
  int _7;
  int _8;
  int _9;
  int _10;
  int _11;
  int _12;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (eventType_15(D) == 11)
    goto <bb 3>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (int) instance_16(D);
  gb.can[_1].bus_off = 0;
  # DEBUG BEGIN_STMT
  _2 = (int) eventType_15(D);
  debug_printf ("CAN5 bus off detected : %d\n", _2);
  # DEBUG BEGIN_STMT
  _3 = (int) instance_16(D);
  _4 = gb.can[_3].bus_off_callback;
  if (_4 != 0B)
    goto <bb 4>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _5 = (int) instance_16(D);
  _6 = gb.can[_5].bus_off_callback;
  _7 = (int) instance_16(D);
  _8 = gb.can[_7].param;
  _6 (_8);

  <bb 5> :
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_Deinit_Privileged (instance_16(D));
  goto <bb 8>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _9 = (int) instance_16(D);
  _10 = gb.can[_9].error;
  if (_10 != 0)
    goto <bb 7>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  _11 = (int) instance_16(D);
  gb.can[_11].error = 0;
  # DEBUG BEGIN_STMT
  _12 = (int) eventType_15(D);
  debug_printf ("CAN5-BUS error detected : %d\n\r", _12);

  <bb 8> :
  return;

}


CAN5_Callback (uint8_t instance, Flexcan_Ip_EventType eventType, uint32_t buffIdx, const struct FlexCANState * driverState)
{
  u32 i;
  u32 idx;
  unsigned char _1;
  struct Flexcan_Ip_MsgBuffType * _2;
  int _3;
  int _4;
  long unsigned int _5;
  unsigned char _6;
  int _7;
  unsigned int _8;
  int _9;
  unsigned char _10;
  int _11;
  unsigned int _12;
  int _13;
  unsigned int _14;
  unsigned int _15;
  int _16;
  unsigned int _17;
  int _18;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (eventType_22(D) == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) buffIdx_24(D);
  _2 = &can5_rxData[buffIdx_24(D)];
  FlexCAN_Ip_Receive (5, _1, _2, 0);
  # DEBUG BEGIN_STMT
  _3 = (int) instance_26(D);
  idx_27 = gb.can[_3].tail;
  # DEBUG idx => idx_27
  # DEBUG BEGIN_STMT
  _4 = (int) instance_26(D);
  _5 = can5_rxData[buffIdx_24(D)].msgId;
  gb.can[_4].msgId[idx_27] = _5;
  # DEBUG BEGIN_STMT
  _6 = can5_rxData[buffIdx_24(D)].dataLen;
  _7 = (int) instance_26(D);
  _8 = (unsigned int) _6;
  gb.can[_7].len[idx_27] = _8;
  # DEBUG BEGIN_STMT
  i_30 = 0;
  # DEBUG i => i_30
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _9 = (int) instance_26(D);
  _10 = can5_rxData[buffIdx_24(D)].data[i_19];
  gb.can[_9].data[idx_27][i_19] = _10;
  # DEBUG BEGIN_STMT
  i_34 = i_19 + 1;
  # DEBUG i => i_34

  <bb 5> :
  # i_19 = PHI <i_30(3), i_34(4)>
  # DEBUG i => i_19
  # DEBUG BEGIN_STMT
  _11 = (int) instance_26(D);
  _12 = gb.can[_11].len[idx_27];
  if (i_19 < _12)
    goto <bb 4>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _13 = (int) instance_26(D);
  _14 = gb.can[_13].tail;
  _15 = _14 + 1;
  _16 = (int) instance_26(D);
  _17 = _15 % 100;
  gb.can[_16].tail = _17;
  # DEBUG BEGIN_STMT
  _18 = (int) instance_26(D);
  gb.can[_18].error = 1;

  <bb 7> :
  # DEBUG BEGIN_STMT
  return;

}


CAN4_ErrCallback (uint8_t instance, Flexcan_Ip_EventType eventType, uint32_t u32ErrStatus, const struct FlexCANState * driverState)
{
  int _1;
  int _2;
  int _3;
  void (*<T2ef>) (int) _4;
  int _5;
  void (*<T2ef>) (int) _6;
  int _7;
  int _8;
  int _9;
  int _10;
  int _11;
  int _12;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (eventType_15(D) == 11)
    goto <bb 3>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (int) instance_16(D);
  gb.can[_1].bus_off = 0;
  # DEBUG BEGIN_STMT
  _2 = (int) eventType_15(D);
  debug_printf ("CAN4 bus off detected : %d\n", _2);
  # DEBUG BEGIN_STMT
  _3 = (int) instance_16(D);
  _4 = gb.can[_3].bus_off_callback;
  if (_4 != 0B)
    goto <bb 4>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _5 = (int) instance_16(D);
  _6 = gb.can[_5].bus_off_callback;
  _7 = (int) instance_16(D);
  _8 = gb.can[_7].param;
  _6 (_8);

  <bb 5> :
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_Deinit_Privileged (instance_16(D));
  goto <bb 8>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _9 = (int) instance_16(D);
  _10 = gb.can[_9].error;
  if (_10 != 0)
    goto <bb 7>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  _11 = (int) instance_16(D);
  gb.can[_11].error = 0;
  # DEBUG BEGIN_STMT
  _12 = (int) eventType_15(D);
  debug_printf ("CAN4-BUS error detected : %d\n\r", _12);

  <bb 8> :
  return;

}


CAN4_Callback (uint8_t instance, Flexcan_Ip_EventType eventType, uint32_t buffIdx, const struct FlexCANState * driverState)
{
  u32 i;
  u32 idx;
  unsigned char _1;
  struct Flexcan_Ip_MsgBuffType * _2;
  int _3;
  int _4;
  long unsigned int _5;
  unsigned char _6;
  int _7;
  unsigned int _8;
  int _9;
  unsigned char _10;
  int _11;
  unsigned int _12;
  int _13;
  unsigned int _14;
  unsigned int _15;
  int _16;
  unsigned int _17;
  int _18;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (eventType_22(D) == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) buffIdx_24(D);
  _2 = &can4_rxData[buffIdx_24(D)];
  FlexCAN_Ip_Receive (4, _1, _2, 0);
  # DEBUG BEGIN_STMT
  _3 = (int) instance_26(D);
  idx_27 = gb.can[_3].tail;
  # DEBUG idx => idx_27
  # DEBUG BEGIN_STMT
  _4 = (int) instance_26(D);
  _5 = can4_rxData[buffIdx_24(D)].msgId;
  gb.can[_4].msgId[idx_27] = _5;
  # DEBUG BEGIN_STMT
  _6 = can4_rxData[buffIdx_24(D)].dataLen;
  _7 = (int) instance_26(D);
  _8 = (unsigned int) _6;
  gb.can[_7].len[idx_27] = _8;
  # DEBUG BEGIN_STMT
  i_30 = 0;
  # DEBUG i => i_30
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _9 = (int) instance_26(D);
  _10 = can4_rxData[buffIdx_24(D)].data[i_19];
  gb.can[_9].data[idx_27][i_19] = _10;
  # DEBUG BEGIN_STMT
  i_34 = i_19 + 1;
  # DEBUG i => i_34

  <bb 5> :
  # i_19 = PHI <i_30(3), i_34(4)>
  # DEBUG i => i_19
  # DEBUG BEGIN_STMT
  _11 = (int) instance_26(D);
  _12 = gb.can[_11].len[idx_27];
  if (i_19 < _12)
    goto <bb 4>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _13 = (int) instance_26(D);
  _14 = gb.can[_13].tail;
  _15 = _14 + 1;
  _16 = (int) instance_26(D);
  _17 = _15 % 100;
  gb.can[_16].tail = _17;
  # DEBUG BEGIN_STMT
  _18 = (int) instance_26(D);
  gb.can[_18].error = 1;

  <bb 7> :
  # DEBUG BEGIN_STMT
  return;

}


CAN3_ErrCallback (uint8_t instance, Flexcan_Ip_EventType eventType, uint32_t u32ErrStatus, const struct FlexCANState * driverState)
{
  int _1;
  int _2;
  int _3;
  void (*<T2ef>) (int) _4;
  int _5;
  void (*<T2ef>) (int) _6;
  int _7;
  int _8;
  int _9;
  int _10;
  int _11;
  int _12;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (eventType_15(D) == 11)
    goto <bb 3>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (int) instance_16(D);
  gb.can[_1].bus_off = 0;
  # DEBUG BEGIN_STMT
  _2 = (int) eventType_15(D);
  debug_printf ("CAN3 bus off detected : %d\n", _2);
  # DEBUG BEGIN_STMT
  _3 = (int) instance_16(D);
  _4 = gb.can[_3].bus_off_callback;
  if (_4 != 0B)
    goto <bb 4>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _5 = (int) instance_16(D);
  _6 = gb.can[_5].bus_off_callback;
  _7 = (int) instance_16(D);
  _8 = gb.can[_7].param;
  _6 (_8);

  <bb 5> :
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_Deinit_Privileged (instance_16(D));
  goto <bb 8>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _9 = (int) instance_16(D);
  _10 = gb.can[_9].error;
  if (_10 != 0)
    goto <bb 7>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  _11 = (int) instance_16(D);
  gb.can[_11].error = 0;
  # DEBUG BEGIN_STMT
  _12 = (int) eventType_15(D);
  debug_printf ("CAN3-BUS error detected : %d\n\r", _12);

  <bb 8> :
  return;

}


CAN3_Callback (uint8_t instance, Flexcan_Ip_EventType eventType, uint32_t buffIdx, const struct FlexCANState * driverState)
{
  u32 i;
  u32 idx;
  unsigned char _1;
  struct Flexcan_Ip_MsgBuffType * _2;
  int _3;
  int _4;
  long unsigned int _5;
  unsigned char _6;
  int _7;
  unsigned int _8;
  int _9;
  unsigned char _10;
  int _11;
  unsigned int _12;
  int _13;
  unsigned int _14;
  unsigned int _15;
  int _16;
  unsigned int _17;
  int _18;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (eventType_22(D) == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) buffIdx_24(D);
  _2 = &can3_rxData[buffIdx_24(D)];
  FlexCAN_Ip_Receive (3, _1, _2, 0);
  # DEBUG BEGIN_STMT
  _3 = (int) instance_26(D);
  idx_27 = gb.can[_3].tail;
  # DEBUG idx => idx_27
  # DEBUG BEGIN_STMT
  _4 = (int) instance_26(D);
  _5 = can3_rxData[buffIdx_24(D)].msgId;
  gb.can[_4].msgId[idx_27] = _5;
  # DEBUG BEGIN_STMT
  _6 = can3_rxData[buffIdx_24(D)].dataLen;
  _7 = (int) instance_26(D);
  _8 = (unsigned int) _6;
  gb.can[_7].len[idx_27] = _8;
  # DEBUG BEGIN_STMT
  i_30 = 0;
  # DEBUG i => i_30
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _9 = (int) instance_26(D);
  _10 = can3_rxData[buffIdx_24(D)].data[i_19];
  gb.can[_9].data[idx_27][i_19] = _10;
  # DEBUG BEGIN_STMT
  i_34 = i_19 + 1;
  # DEBUG i => i_34

  <bb 5> :
  # i_19 = PHI <i_30(3), i_34(4)>
  # DEBUG i => i_19
  # DEBUG BEGIN_STMT
  _11 = (int) instance_26(D);
  _12 = gb.can[_11].len[idx_27];
  if (i_19 < _12)
    goto <bb 4>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _13 = (int) instance_26(D);
  _14 = gb.can[_13].tail;
  _15 = _14 + 1;
  _16 = (int) instance_26(D);
  _17 = _15 % 100;
  gb.can[_16].tail = _17;
  # DEBUG BEGIN_STMT
  _18 = (int) instance_26(D);
  gb.can[_18].error = 1;

  <bb 7> :
  # DEBUG BEGIN_STMT
  return;

}


CAN2_ErrCallback (uint8_t instance, Flexcan_Ip_EventType eventType, uint32_t u32ErrStatus, const struct FlexCANState * driverState)
{
  int _1;
  void (*<T2ef>) (int) _2;
  void (*<T2ef>) (int) _3;
  int _4;
  int _5;
  int _6;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (eventType_9(D) == 11)
    goto <bb 3>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  gb.can[2].bus_off = 0;
  # DEBUG BEGIN_STMT
  _1 = (int) eventType_9(D);
  debug_printf ("CAN2 bus off detected : %d\n", _1);
  # DEBUG BEGIN_STMT
  _2 = gb.can[2].bus_off_callback;
  if (_2 != 0B)
    goto <bb 4>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _3 = gb.can[2].bus_off_callback;
  _4 = gb.can[2].param;
  _3 (_4);

  <bb 5> :
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_Deinit_Privileged (instance_16(D));
  goto <bb 8>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _5 = gb.can[2].error;
  if (_5 != 0)
    goto <bb 7>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  gb.can[2].error = 0;
  # DEBUG BEGIN_STMT
  _6 = (int) eventType_9(D);
  debug_printf ("CAN2-BUS error detected : %d\n", _6);

  <bb 8> :
  return;

}


CAN2_Callback (uint8_t instance, Flexcan_Ip_EventType eventType, uint32_t buffIdx, const struct FlexCANState * driverState)
{
  u32 i;
  u32 idx;
  unsigned char _1;
  struct Flexcan_Ip_MsgBuffType * _2;
  int _3;
  int _4;
  long unsigned int _5;
  unsigned char _6;
  int _7;
  unsigned int _8;
  int _9;
  unsigned char _10;
  int _11;
  unsigned int _12;
  int _13;
  unsigned int _14;
  unsigned int _15;
  int _16;
  unsigned int _17;
  int _18;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (eventType_22(D) == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) buffIdx_24(D);
  _2 = &can2_rxData[buffIdx_24(D)];
  FlexCAN_Ip_Receive (2, _1, _2, 0);
  # DEBUG BEGIN_STMT
  _3 = (int) instance_26(D);
  idx_27 = gb.can[_3].tail;
  # DEBUG idx => idx_27
  # DEBUG BEGIN_STMT
  _4 = (int) instance_26(D);
  _5 = can2_rxData[buffIdx_24(D)].msgId;
  gb.can[_4].msgId[idx_27] = _5;
  # DEBUG BEGIN_STMT
  _6 = can2_rxData[buffIdx_24(D)].dataLen;
  _7 = (int) instance_26(D);
  _8 = (unsigned int) _6;
  gb.can[_7].len[idx_27] = _8;
  # DEBUG BEGIN_STMT
  i_30 = 0;
  # DEBUG i => i_30
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _9 = (int) instance_26(D);
  _10 = can2_rxData[buffIdx_24(D)].data[i_19];
  gb.can[_9].data[idx_27][i_19] = _10;
  # DEBUG BEGIN_STMT
  i_34 = i_19 + 1;
  # DEBUG i => i_34

  <bb 5> :
  # i_19 = PHI <i_30(3), i_34(4)>
  # DEBUG i => i_19
  # DEBUG BEGIN_STMT
  _11 = (int) instance_26(D);
  _12 = gb.can[_11].len[idx_27];
  if (i_19 < _12)
    goto <bb 4>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _13 = (int) instance_26(D);
  _14 = gb.can[_13].tail;
  _15 = _14 + 1;
  _16 = (int) instance_26(D);
  _17 = _15 % 100;
  gb.can[_16].tail = _17;
  # DEBUG BEGIN_STMT
  _18 = (int) instance_26(D);
  gb.can[_18].error = 1;

  <bb 7> :
  # DEBUG BEGIN_STMT
  return;

}


CAN1_ErrCallback (uint8_t instance, Flexcan_Ip_EventType eventType, uint32_t u32ErrStatus, const struct FlexCANState * driverState)
{
  int _1;
  void (*<T2ef>) (int) _2;
  void (*<T2ef>) (int) _3;
  int _4;
  int _5;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (eventType_8(D) == 11)
    goto <bb 3>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  gb.can[1].bus_off = 0;
  # DEBUG BEGIN_STMT
  _1 = (int) eventType_8(D);
  debug_printf ("CAN1 bus off detected : %d\n", _1);
  # DEBUG BEGIN_STMT
  _2 = gb.can[1].bus_off_callback;
  if (_2 != 0B)
    goto <bb 4>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _3 = gb.can[1].bus_off_callback;
  _4 = gb.can[1].param;
  _3 (_4);

  <bb 5> :
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_Deinit_Privileged (instance_14(D));
  goto <bb 8>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _5 = gb.can[1].error;
  if (_5 != 0)
    goto <bb 7>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  gb.can[1].error = 0;

  <bb 8> :
  return;

}


CAN1_Callback (uint8_t instance, Flexcan_Ip_EventType eventType, uint32_t buffIdx, const struct FlexCANState * driverState)
{
  u32 i;
  u32 idx;
  unsigned char _1;
  struct Flexcan_Ip_MsgBuffType * _2;
  int _3;
  int _4;
  long unsigned int _5;
  unsigned char _6;
  int _7;
  unsigned int _8;
  int _9;
  unsigned char _10;
  int _11;
  unsigned int _12;
  int _13;
  unsigned int _14;
  unsigned int _15;
  int _16;
  unsigned int _17;
  int _18;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (eventType_22(D) == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) buffIdx_24(D);
  _2 = &can1_rxData[buffIdx_24(D)];
  FlexCAN_Ip_Receive (1, _1, _2, 0);
  # DEBUG BEGIN_STMT
  _3 = (int) instance_26(D);
  idx_27 = gb.can[_3].tail;
  # DEBUG idx => idx_27
  # DEBUG BEGIN_STMT
  _4 = (int) instance_26(D);
  _5 = can1_rxData[buffIdx_24(D)].msgId;
  gb.can[_4].msgId[idx_27] = _5;
  # DEBUG BEGIN_STMT
  _6 = can1_rxData[buffIdx_24(D)].dataLen;
  _7 = (int) instance_26(D);
  _8 = (unsigned int) _6;
  gb.can[_7].len[idx_27] = _8;
  # DEBUG BEGIN_STMT
  i_30 = 0;
  # DEBUG i => i_30
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _9 = (int) instance_26(D);
  _10 = can1_rxData[buffIdx_24(D)].data[i_19];
  gb.can[_9].data[idx_27][i_19] = _10;
  # DEBUG BEGIN_STMT
  i_34 = i_19 + 1;
  # DEBUG i => i_34

  <bb 5> :
  # i_19 = PHI <i_30(3), i_34(4)>
  # DEBUG i => i_19
  # DEBUG BEGIN_STMT
  _11 = (int) instance_26(D);
  _12 = gb.can[_11].len[idx_27];
  if (i_19 < _12)
    goto <bb 4>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _13 = (int) instance_26(D);
  _14 = gb.can[_13].tail;
  _15 = _14 + 1;
  _16 = (int) instance_26(D);
  _17 = _15 % 100;
  gb.can[_16].tail = _17;
  # DEBUG BEGIN_STMT
  _18 = (int) instance_26(D);
  gb.can[_18].error = 1;

  <bb 7> :
  # DEBUG BEGIN_STMT
  return;

}


CAN0_ErrCallback (uint8_t instance, Flexcan_Ip_EventType eventType, uint32_t u32ErrStatus, const struct FlexCANState * driverState)
{
  int _1;
  void (*<T2ef>) (int) _2;
  void (*<T2ef>) (int) _3;
  int _4;
  int _5;
  int _6;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (eventType_9(D) == 11)
    goto <bb 3>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  gb.can[0].bus_off = 0;
  # DEBUG BEGIN_STMT
  _1 = (int) eventType_9(D);
  debug_printf ("CAN0 bus off detected : %d\n", _1);
  # DEBUG BEGIN_STMT
  _2 = gb.can[0].bus_off_callback;
  if (_2 != 0B)
    goto <bb 4>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _3 = gb.can[0].bus_off_callback;
  _4 = gb.can[0].param;
  _3 (_4);

  <bb 5> :
  # DEBUG BEGIN_STMT
  FlexCAN_Ip_Deinit_Privileged (instance_16(D));
  goto <bb 8>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _5 = gb.can[0].error;
  if (_5 != 0)
    goto <bb 7>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  gb.can[0].error = 0;
  # DEBUG BEGIN_STMT
  _6 = (int) eventType_9(D);
  debug_printf ("CAN0-BUS error detected : %d\n\r", _6);

  <bb 8> :
  return;

}


CAN0_Callback (uint8_t instance, Flexcan_Ip_EventType eventType, uint32_t buffIdx, const struct FlexCANState * driverState)
{
  u32 i;
  u32 idx;
  unsigned char _1;
  struct Flexcan_Ip_MsgBuffType * _2;
  int _3;
  int _4;
  long unsigned int _5;
  unsigned char _6;
  int _7;
  unsigned int _8;
  int _9;
  unsigned char _10;
  int _11;
  unsigned int _12;
  int _13;
  unsigned int _14;
  unsigned int _15;
  int _16;
  unsigned int _17;
  int _18;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (eventType_22(D) == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) buffIdx_24(D);
  _2 = &can0_rxData[buffIdx_24(D)];
  FlexCAN_Ip_Receive (0, _1, _2, 0);
  # DEBUG BEGIN_STMT
  _3 = (int) instance_26(D);
  idx_27 = gb.can[_3].tail;
  # DEBUG idx => idx_27
  # DEBUG BEGIN_STMT
  _4 = (int) instance_26(D);
  _5 = can0_rxData[buffIdx_24(D)].msgId;
  gb.can[_4].msgId[idx_27] = _5;
  # DEBUG BEGIN_STMT
  _6 = can0_rxData[buffIdx_24(D)].dataLen;
  _7 = (int) instance_26(D);
  _8 = (unsigned int) _6;
  gb.can[_7].len[idx_27] = _8;
  # DEBUG BEGIN_STMT
  i_30 = 0;
  # DEBUG i => i_30
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _9 = (int) instance_26(D);
  _10 = can0_rxData[buffIdx_24(D)].data[i_19];
  gb.can[_9].data[idx_27][i_19] = _10;
  # DEBUG BEGIN_STMT
  i_34 = i_19 + 1;
  # DEBUG i => i_34

  <bb 5> :
  # i_19 = PHI <i_30(3), i_34(4)>
  # DEBUG i => i_19
  # DEBUG BEGIN_STMT
  _11 = (int) instance_26(D);
  _12 = gb.can[_11].len[idx_27];
  if (i_19 < _12)
    goto <bb 4>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _13 = (int) instance_26(D);
  _14 = gb.can[_13].tail;
  _15 = _14 + 1;
  _16 = (int) instance_26(D);
  _17 = _15 % 100;
  gb.can[_16].tail = _17;
  # DEBUG BEGIN_STMT
  _18 = (int) instance_26(D);
  gb.can[_18].error = 1;

  <bb 7> :
  # DEBUG BEGIN_STMT
  return;

}


i2c_delay (u32 tick)
{
  volatile u32 time;
  unsigned int time.9_1;
  unsigned int time.10_2;
  unsigned int _3;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  time ={v} tick_6(D);
  # DEBUG BEGIN_STMT

  <bb 3> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  time.9_1 ={v} time;
  time.10_2 = time.9_1;
  _3 = time.10_2 + 4294967295;
  time ={v} _3;
  if (time.10_2 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 4> :
  return;

}


sda_out ()
{
  struct SIUL2_Type * _1;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = 1076428800B;
  _1->MSCR[32] ={v} 2621440;
  # DEBUG BEGIN_STMT
  i2c_delay (500);
  return;

}


sda_in ()
{
  struct SIUL2_Type * _1;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = 1076428800B;
  _1->MSCR[32] ={v} 524288;
  # DEBUG BEGIN_STMT
  i2c_delay (500);
  return;

}


i2c_test ()
{
  uint8_t i;
  uint8_t checkOk;
  uint32_t slavetimeout;
  uint32_t mastertimeout;
  <unnamed type> _1;
  <unnamed type> _2;
  int _3;
  unsigned char _4;
  int _5;
  unsigned char _6;
  int _7;
  unsigned char _8;
  unsigned char _9;
  unsigned char _10;
  unsigned char i.8_11;

  <bb 2> :
  # DEBUG BEGIN_STMT
  mastertimeout_19 = 65535;
  # DEBUG mastertimeout => mastertimeout_19
  # DEBUG BEGIN_STMT
  slavetimeout_20 = 65535;
  # DEBUG slavetimeout => slavetimeout_20
  # DEBUG BEGIN_STMT
  checkOk_21 = 1;
  # DEBUG checkOk => checkOk_21
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  Lpi2c_Ip_SlaveSetBuffer (1, &rxBufferSlave, 8);
  # DEBUG BEGIN_STMT
  Lpi2c_Ip_MasterSendData (0, &txBuffer, 8, 1);
  # DEBUG BEGIN_STMT
  goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  mastertimeout_26 = mastertimeout_12 + 4294967295;
  # DEBUG mastertimeout => mastertimeout_26

  <bb 4> :
  # mastertimeout_12 = PHI <mastertimeout_19(2), mastertimeout_26(3)>
  # DEBUG mastertimeout => mastertimeout_12
  # DEBUG BEGIN_STMT
  _1 = Lpi2c_Ip_MasterGetTransferStatus (0, 0B);
  if (_1 == 2)
    goto <bb 5>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 5> :
  if (mastertimeout_12 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  slavetimeout_28 = slavetimeout_13 + 4294967295;
  # DEBUG slavetimeout => slavetimeout_28

  <bb 7> :
  # slavetimeout_13 = PHI <slavetimeout_20(5), slavetimeout_28(6), slavetimeout_20(4)>
  # DEBUG slavetimeout => slavetimeout_13
  # DEBUG BEGIN_STMT
  _2 = Lpi2c_Ip_SlaveGetTransferStatus (1, 0B);
  if (_2 == 2)
    goto <bb 8>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 8> :
  if (slavetimeout_13 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  i_29 = 0;
  # DEBUG i => i_29
  goto <bb 14>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  _3 = (int) i_14;
  _4 = txBuffer[_3];
  _5 = (int) i_14;
  _6 = rxBufferSlave[_5];
  if (_4 != _6)
    goto <bb 11>; [INV]
  else
    goto <bb 12>; [INV]

  <bb 11> :
  # DEBUG BEGIN_STMT
  checkOk_31 = 0;
  # DEBUG checkOk => checkOk_31
  goto <bb 13>; [INV]

  <bb 12> :
  # DEBUG BEGIN_STMT
  _7 = (int) i_14;
  _8 = txBuffer[_7];
  _9 = _8;
  _10 = _9 + 1;
  txBuffer[_7] = _10;

  <bb 13> :
  # DEBUG BEGIN_STMT
  i.8_11 = i_14;
  i_32 = i.8_11 + 1;
  # DEBUG i => i_32

  <bb 14> :
  # i_14 = PHI <i_29(9), i_32(13)>
  # DEBUG i => i_14
  # DEBUG BEGIN_STMT
  if (i_14 <= 7)
    goto <bb 10>; [INV]
  else
    goto <bb 15>; [INV]

  <bb 15> :
  return;

}


i2c1_init ()
{
  struct SIUL2_Type * _1;
  struct SIUL2_Type * _2;
  struct SIUL2_Type * _3;
  struct SIUL2_Type * _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (162);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (162, LPI2C1_Master_Slave_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  _1 = 1076428800B;
  _1->MSCR[104] ={v} 2621442;
  # DEBUG BEGIN_STMT
  _2 = 1076428800B;
  _2->IMCR[219] ={v} 1;
  # DEBUG BEGIN_STMT
  _3 = 1076428800B;
  _3->MSCR[105] ={v} 2621442;
  # DEBUG BEGIN_STMT
  _4 = 1076428800B;
  _4->IMCR[217] ={v} 2;
  # DEBUG BEGIN_STMT
  Lpi2c_Ip_MasterInit (0, &I2c_Lpi2cMasterChannel0_BOARD_InitPeripherals);
  return;

}


i2c0_init ()
{
  struct SIUL2_Type * _1;
  struct SIUL2_Type * _2;
  struct SIUL2_Type * _3;
  struct SIUL2_Type * _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (161);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (161, LPI2C0_Master_Slave_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  _1 = 1076428800B;
  _1->MSCR[109] ={v} 2621444;
  # DEBUG BEGIN_STMT
  _2 = 1076428800B;
  _2->IMCR[214] ={v} 2;
  # DEBUG BEGIN_STMT
  _3 = 1076428800B;
  _3->MSCR[110] ={v} 2621444;
  # DEBUG BEGIN_STMT
  _4 = 1076428800B;
  _4->IMCR[212] ={v} 2;
  # DEBUG BEGIN_STMT
  Lpi2c_Ip_SlaveInit (1, &I2c_Lpi2cSlaveChannel1_BOARD_InitPeripherals);
  return;

}


Lin_tx_test (uint8_t instance)
{
  volatile Lpuart_Lin_Ip_StatusType transmissionStatus;
  uint8_t bytesRemaining[3];
  volatile uint32_t timeoutValue;
  long unsigned int _1;
  _Bool isSend.3_2;
  _Bool _3;
  _Bool isSend.4_4;
  long unsigned int _5;
  <unnamed type> _6;
  long unsigned int timeoutValue.5_7;
  long unsigned int timeoutValue.6_8;
  long unsigned int _9;
  <unnamed type> transmissionStatus.7_10;

  <bb 2> :
  # DEBUG BEGIN_STMT
  timeoutValue ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  transmissionStatus ={v} 1;
  # DEBUG BEGIN_STMT
  _1 = (long unsigned int) instance_16(D);
  Lpuart_Lin_Ip_MasterSendHeader (_1, 26);
  # DEBUG BEGIN_STMT
  timeoutValue ={v} 1600000;
  # DEBUG BEGIN_STMT

  <bb 3> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  isSend.3_2 ={v} isSend;
  _3 = ~isSend.3_2;
  if (_3 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  isSend.4_4 ={v} isSend;
  if (isSend.4_4 != 0)
    goto <bb 5>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _5 = (long unsigned int) instance_16(D);
  _6 = Lpuart_Lin_Ip_GetTransmitStatus (_5, &bytesRemaining);
  transmissionStatus ={v} _6;
  # DEBUG BEGIN_STMT
  timeoutValue.5_7 ={v} timeoutValue;
  timeoutValue.6_8 = timeoutValue.5_7;
  _9 = timeoutValue.6_8 + 4294967295;
  timeoutValue ={v} _9;
  if (timeoutValue.6_8 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  transmissionStatus.7_10 ={v} transmissionStatus;
  if (transmissionStatus.7_10 != 0)
    goto <bb 5>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 7> :
  bytesRemaining ={v} {CLOBBER};
  return;

}


Lin2callback (uint32_t instance, struct Lpuart_Lin_Ip_StateStructType * lpuartStateStruct)
{
  <unnamed type> _1;
  int _2;
  unsigned char _3;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 ={v} lpuartStateStruct_6(D)->currentEventId;
  _2 = (int) _1;
  if (_2 == 6)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 3> :
<L0>:
  # DEBUG BEGIN_STMT
  isSend ={v} 1;
  # DEBUG BEGIN_STMT
  _3 = lpuartStateStruct_6(D)->currentId;
  if (_3 == 42)
    goto <bb 4>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  Lpuart_Lin_Ip_AsyncSendFrameData (instance_8(D), &txBuff_lin, 3);

  <bb 5> :
  return;

}


Lin1callback (uint32_t instance, struct Lpuart_Lin_Ip_StateStructType * lpuartStateStruct)
{
  <unnamed type> _1;
  int _2;
  unsigned char _3;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 ={v} lpuartStateStruct_6(D)->currentEventId;
  _2 = (int) _1;
  if (_2 == 6)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 3> :
<L0>:
  # DEBUG BEGIN_STMT
  isSend ={v} 1;
  # DEBUG BEGIN_STMT
  _3 = lpuartStateStruct_6(D)->currentId;
  if (_3 == 26)
    goto <bb 4>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  Lpuart_Lin_Ip_AsyncSendFrameData (instance_8(D), &txBuff_lin, 3);

  <bb 5> :
  return;

}


Lin_init ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (142);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (150);
  # DEBUG BEGIN_STMT
  debug_printf ("start\r\n");
  # DEBUG BEGIN_STMT
  Lpuart_Lin_Ip_Init (0, &Lpuart_Lin_Ip_pHwConfigPB_0_BOARD_INITPERIPHERALS);
  # DEBUG BEGIN_STMT
  Lpuart_Lin_Ip_Init (1, &Lpuart_Lin_Ip_pHwConfigPB_1_BOARD_INITPERIPHERALS);
  # DEBUG BEGIN_STMT
  debug_printf ("end\r\n");
  return;

}


SPI_test ()
{
  uint8_t count;
  short unsigned int numberOfBytes.0_1;
  long unsigned int timeOut.1_2;
  <unnamed type> _3;
  int _4;
  unsigned char _5;
  int _6;
  unsigned char _7;
  unsigned char count.2_8;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  passed = 1;
  # DEBUG BEGIN_STMT
  numberOfBytes.0_1 = numberOfBytes;
  timeOut.1_2 = timeOut;
  _3 = Lpspi_Ip_SyncTransmit (&Lpspi_Ip_DeviceAttributes_SpiExternalDevice_0_BOARD_InitPeripherals, &txBuffer_spi, &rxBuffer_spi, numberOfBytes.0_1, timeOut.1_2);
  trans_ret = _3;
  # DEBUG BEGIN_STMT
  count_16 = 0;
  # DEBUG count => count_16
  goto <bb 6>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _4 = (int) count_9;
  _5 = txBuffer_spi[_4];
  _6 = (int) count_9;
  _7 = rxBuffer_spi[_6];
  if (_5 != _7)
    goto <bb 4>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  passed = 0;

  <bb 5> :
  # DEBUG BEGIN_STMT
  count.2_8 = count_9;
  count_18 = count.2_8 + 1;
  # DEBUG count => count_18

  <bb 6> :
  # count_9 = PHI <count_16(2), count_18(5)>
  # DEBUG count => count_9
  # DEBUG BEGIN_STMT
  if (count_9 <= 9)
    goto <bb 3>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 7> :
  return;

}


SPI_init ()
{
  <unnamed type> _1;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = Lpspi_Ip_Init (&Lpspi_Ip_PhyUnitConfig_SpiPhyUnit_0_BOARD_InitPeripherals);
  init_ret = _1;
  return;

}


Set_PWM_Duty (u32 ch, float ratio)
{
  u32 val;
  unsigned int _1;
  float _2;
  float _3;
  double _4;
  double _5;
  short unsigned int _6;
  short unsigned int _7;
  short unsigned int _8;
  short unsigned int _9;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ratio_12(D) >= 1.0e+2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  val_16 = gb.pwm_max_tick;
  # DEBUG val => val_16
  goto <bb 7>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  if (ratio_12(D) <= 0.0)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  val_15 = 0;
  # DEBUG val => val_15
  goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _1 = gb.pwm_max_tick;
  _2 = (float) _1;
  _3 = ratio_12(D) * _2;
  _4 = (double) _3;
  _5 = _4 / 1.0e+2;
  val_14 = (u32) _5;
  # DEBUG val => val_14

  <bb 7> :
  # val_10 = PHI <val_16(3), val_15(5), val_14(6)>
  # DEBUG val => val_10
  # DEBUG BEGIN_STMT
  gb.pwm_duty[ch_17(D)] = ratio_12(D);
  # DEBUG BEGIN_STMT
  switch (ch_17(D)) <default: <L10> [INV], case 0: <L6> [INV], case 1: <L7> [INV], case 2: <L8> [INV], case 3: <L9> [INV]>

  <bb 8> :
<L6>:
  # DEBUG BEGIN_STMT
  _6 = (short unsigned int) val_10;
  Emios_Pwm_Ip_SetDutyCycle (0, 0, _6);
  # DEBUG BEGIN_STMT
  goto <bb 12>; [INV]

  <bb 9> :
<L7>:
  # DEBUG BEGIN_STMT
  _7 = (short unsigned int) val_10;
  Emios_Pwm_Ip_SetDutyCycle (0, 1, _7);
  # DEBUG BEGIN_STMT
  goto <bb 12>; [INV]

  <bb 10> :
<L8>:
  # DEBUG BEGIN_STMT
  _8 = (short unsigned int) val_10;
  Emios_Pwm_Ip_SetDutyCycle (0, 2, _8);
  # DEBUG BEGIN_STMT
  goto <bb 12>; [INV]

  <bb 11> :
<L9>:
  # DEBUG BEGIN_STMT
  _9 = (short unsigned int) val_10;
  Emios_Pwm_Ip_SetDutyCycle (0, 3, _9);
  # DEBUG BEGIN_STMT

  <bb 12> :
<L10>:
  return;

}


pwm_init (u32 period)
{
  unsigned char _1;
  short unsigned int _2;

  <bb 2> :
  # DEBUG BEGIN_STMT
  Emios_Pwm_Ip_DeInitChannel (0, 0);
  # DEBUG BEGIN_STMT
  Emios_Pwm_Ip_DeInitChannel (0, 1);
  # DEBUG BEGIN_STMT
  Emios_Pwm_Ip_DeInitChannel (0, 2);
  # DEBUG BEGIN_STMT
  Emios_Pwm_Ip_DeInitChannel (0, 3);
  # DEBUG BEGIN_STMT
  Emios_Mcl_Ip_Deinit (0);
  # DEBUG BEGIN_STMT
  Emios_Mcl_Ip_Init (0, &Emios_Mcl_Ip_0_Config_BOARD_INITPERIPHERALS);
  # DEBUG BEGIN_STMT
  _1 = Emios_Mcl_Ip_0_MasterBusConfig_BOARD_INITPERIPHERALS[0].hwChannel;
  _2 = (short unsigned int) period_10(D);
  Emios_Mcl_Ip_SetCounterBusPeriod (0, _1, _2);
  # DEBUG BEGIN_STMT
  Emios_Pwm_Ip_InitChannel (0, &Emios_Pwm_Ip_BOARD_InitPeripherals_I0_Ch0);
  # DEBUG BEGIN_STMT
  Emios_Pwm_Ip_InitChannel (0, &Emios_Pwm_Ip_BOARD_InitPeripherals_I0_Ch1);
  # DEBUG BEGIN_STMT
  Emios_Pwm_Ip_InitChannel (0, &Emios_Pwm_Ip_BOARD_InitPeripherals_I0_Ch2);
  # DEBUG BEGIN_STMT
  Emios_Pwm_Ip_InitChannel (0, &Emios_Pwm_Ip_BOARD_InitPeripherals_I0_Ch3);
  return;

}


