/* $Header$ */
#include <stdio.h>
printf (fmt, args)
char *fmt;
int args;
{
_doprnt (fmt, &args, stdout);
if ( io_testflag(stdout,IO_PERPRINTF) )
fflush(stdout);
}