main ()
{
  StatusType status;

  <bb 2> [local count: 107374]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  Clock_Ip_Init (&Mcu_aClockConfigPB[0]);
  # DEBUG BEGIN_STMT
  Siul2_Port_Ip_Init (15, &g_pin_mux_InitConfigArr0);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_Init (&IntCtrlConfig_0);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_ConfigIrqRouting (&intRouteConfig);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (141);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_InstallHandler (141, LPUART_UART_IP_0_IRQHandler, 0B);
  # DEBUG BEGIN_STMT
  Lpuart_Uart_Ip_Init (0, &Lpuart_Uart_Ip_pHwConfigPB_0_BOARD_INITPERIPHERALS);
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_InitDevice (&Flexio_Ip_xFlexioInit);
  # DEBUG BEGIN_STMT
  Flexio_Pwm_Ip_InitChannel (0, &Flexio_Pwm_Ip_BOARD_InitPeripherals_I0_Ch0);
  # DEBUG BEGIN_STMT
  Flexio_Pwm_Ip_InitChannel (0, &Flexio_Pwm_Ip_BOARD_InitPeripherals_I0_Ch1);
  # DEBUG BEGIN_STMT
  Flexio_Pwm_Ip_InitChannel (0, &Flexio_Pwm_Ip_BOARD_InitPeripherals_I0_Ch2);
  # DEBUG BEGIN_STMT
  Flexio_Pwm_Ip_InitChannel (0, &Flexio_Pwm_Ip_BOARD_InitPeripherals_I0_Ch3);
  # DEBUG BEGIN_STMT
  Flexio_Pwm_Ip_InitChannel (0, &Flexio_Pwm_Ip_BOARD_InitPeripherals_I0_Ch4);
  # DEBUG BEGIN_STMT
  Flexio_Pwm_Ip_InitChannel (0, &Flexio_Pwm_Ip_BOARD_InitPeripherals_I0_Ch5);
  # DEBUG BEGIN_STMT
  Flexio_Pwm_Ip_InitChannel (0, &Flexio_Pwm_Ip_BOARD_InitPeripherals_I0_Ch6);
  # DEBUG BEGIN_STMT
  Flexio_Pwm_Ip_InitChannel (0, &Flexio_Pwm_Ip_BOARD_InitPeripherals_I0_Ch7);
  # DEBUG BEGIN_STMT
  status_24 = Adc_Sar_Ip_Init (0, &AdcHwUnit_0_BOARD_INITPERIPHERALS);
  # DEBUG status => status_24
  # DEBUG BEGIN_STMT
  if (status_24 != 0)
    goto <bb 3>; [33.00%]
  else
    goto <bb 4>; [67.00%]

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

  <bb 4> [local count: 107374]:
  # DEBUG BEGIN_STMT
  status_27 = Adc_Sar_Ip_Init (1, &AdcHwUnit_1_BOARD_INITPERIPHERALS);
  # DEBUG status => status_27
  # DEBUG BEGIN_STMT
  if (status_27 != 0)
    goto <bb 5>; [33.00%]
  else
    goto <bb 6>; [67.00%]

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

  <bb 6> [local count: 107374]:
  # 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_EnableIrq (180);
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_EnableIrq (181);
  # DEBUG BEGIN_STMT
  status_34 = Adc_Sar_Ip_DoCalibration (0);
  # DEBUG status => status_34
  # DEBUG BEGIN_STMT
  if (status_34 != 0)
    goto <bb 7>; [33.00%]
  else
    goto <bb 8>; [67.00%]

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

  <bb 8> [local count: 107374]:
  # DEBUG BEGIN_STMT
  status_37 = Adc_Sar_Ip_DoCalibration (1);
  # DEBUG status => status_37
  # DEBUG BEGIN_STMT
  if (status_37 != 0)
    goto <bb 9>; [33.00%]
  else
    goto <bb 10>; [67.00%]

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

  <bb 10> [local count: 107374]:
  # DEBUG BEGIN_STMT
  Adc_Sar_Ip_EnableNotifications (0, 1);
  # DEBUG BEGIN_STMT
  Adc_Sar_Ip_EnableNotifications (1, 1);
  # DEBUG BEGIN_STMT
  Adc_Sar_Ip_StartConversion (0, 0);
  # DEBUG BEGIN_STMT
  Adc_Sar_Ip_StartConversion (1, 0);
  # DEBUG BEGIN_STMT
  Pit_Ip_Init (0, &PIT_0_InitConfig_PB);
  # DEBUG BEGIN_STMT
  Pit_Ip_InitChannel (0, &PIT_0_ChannelConfig_PB[0]);
  # DEBUG BEGIN_STMT
  Pit_Ip_EnableChannelInterrupt (0, 0);
  # DEBUG BEGIN_STMT
  Pit_Ip_StartChannel (0, 0, 40000);
  # DEBUG BEGIN_STMT
  Gvar_init ();
  # DEBUG BEGIN_STMT
  board_init ();
  # DEBUG BEGIN_STMT
  PrintLogo ();
  # DEBUG BEGIN_STMT
  debug_printf ("%s", "MR $ ");

  <bb 11> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  cmd_main ();
  # DEBUG BEGIN_STMT

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

}