#include <stdio.h>

int fprintf(FILE *fp, const char *restrict format, ...)
{
    va_list arg;
    va_start(arg, format);
    int ret = vfprintf(fp, format, arg);
    va_end(arg);
    return ret;
}