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

int vprintf(const char *format,va_list vl)
{
    int n;
    n=vfprintf(stdout,format,vl);
    fflush(stdout);
    return(n);
}