1 #include <stdio.h> 2 #include "putc.h" 3 putchar(int c)4 int putchar(int c) 5 { 6 return do_putc(c, stdout); 7 } 8