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