#include "stdio.h" #include int vfwscanf(FILE * restrict stream, const wchar_t * restrict format, va_list arg) { } /* STDC(199901) */