#include <stdio.h>

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