#include <stdio.h>

int vfscanf(FILE * restrict stream, const char * restrict format, va_list arg)
{
}

/*
STDC(199901)
*/