#include <stdio.h>
#include <stdarg.h>

int __v2printf(const char *format,...)
{
    int n;va_list vl;
    va_start(vl,format);
    n=__v2vfprintf(stdout,format,vl);
    va_end(vl);
    fflush(stdout);
    return(n);
}