int  vprintf(const char * __restrict, va_list);