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