#include "stdio.h"

static void printf_putc(c)
char c;
{
  fputc(c, stdout);
}

void printf(template, args)
char * template;
long args;
{
  _printf_guts(template, &args, printf_putc);
}