/* Outputs a formatted string on the DBGU stream. Format arguments are given in a va_list instance.  */
signed int vprintf(const char *pFormat, va_list ap)
/* Outputs a formatted string on the DBGU stream. Format arguments are given in a va_list instance.  */
signed int vprintf(const char *pFormat, va_list ap)
{
  char pStr[CFG_PRINTF_MAXSTRINGSIZE];
  char pError[] = "stdio.c: increase CFG_PRINTF_MAXSTRINGSIZE\r\n";
  if (vsprintf(pStr, pFormat, ap) >= CFG_PRINTF_MAXSTRINGSIZE) {
    puts(pError);
    while (1);
  }
  return puts(pStr);
}