debug_printf (char * msg)
{
  u8 len;
  u8 i;
  struct va_list argptr;
  char str[256];

  <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, argptr);
  # DEBUG BEGIN_STMT
  __builtin_va_end (&argptr);
  # DEBUG BEGIN_STMT
  _1 = strlen (&str);
  len = (u8) _1;
  # DEBUG BEGIN_STMT
  i = 0;
  goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _2 = (int) i;
  _3 = str[_2];
  uart_putc (_3);
  # DEBUG BEGIN_STMT
  i.0_4 = i;
  i = i.0_4 + 1;

  <bb 4> :
  # DEBUG BEGIN_STMT
  if (i < len)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 5> :
  str = {CLOBBER};
  argptr = {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;

}