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

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