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.0_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];
  uart_putc (_3);
  # DEBUG BEGIN_STMT
  i.0_4 = i_5;
  i_17 = i.0_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;

}


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

}


Gvar_init ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  gb.ubuf_head = 0;
  # DEBUG BEGIN_STMT
  gb.ubuf_tail = 0;
  return;

}


PrintLogo ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  debug_printf ("\n\r\n");
  # DEBUG BEGIN_STMT
  debug_printf ("================================================\r\n");
  # DEBUG BEGIN_STMT
  debug_printf (" MR S32K344 APPLICATION\n");
  # DEBUG BEGIN_STMT
  debug_printf (" Version 0.1\n");
  # DEBUG BEGIN_STMT
  debug_printf (" Author : sihong89@gmail.com\n");
  # DEBUG BEGIN_STMT
  debug_printf (" Last compiled : %s %s\n", "Oct 16 2021", "14:16:57");
  # DEBUG BEGIN_STMT
  debug_printf ("================================================\r\n");
  return;

}