#include <stdio.h>
#include "putc.h"

int putchar(int c)
{
	return do_putc(c, stdout);
}


#ifdef TEST
int
main(void) {
	return 0;
}
#endif