#include <stdio.h>

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