int vfprintf(FILE *pOut, const char *zFormat, va_list ap){
int vfprintf(FILE *pOut, const char *zFormat, pthread_va_list ap){
int vfprintf(FILE *pOut, const char *zFormat, va_list ap){  return vxprintf(fout,pOut,zFormat,ap);}