#include <stdio.h>

int putchar ( int ch )
{
	printf("%c", ch);
	return ch;
}