#include <stdio.h>

int
printf(const char *__restrict__ format, ...)
{
  int c = 0;
  va_list ap;
  va_start(ap, format);
  c += vfprintf(stdout, format, ap);
  va_end(ap);
  return c;
}