__xvprintf
int __xvprintf(FILE *fp, const char *fmt0, va_list ap);
return (__xvprintf(fp, fmt0, ap));