extern printf( char *fmt, ...);

putchar(c)
    char c;
{
    printf ("%lc", c);
}