#include <stdio.h>
/*
 * copy input to output: long version
 */
void main(void)
{
	int c;		/* input character */
	/*
	 * copy the input to the output
	 * one char at a time
	 */
	do {
		/* read a char */
		c = getchar();
		/* write a char (unless it's */
		/* the end of file marker)   */
		if (c != EOF)
			putchar(c);
	} while (c != EOF);
	/*
	 * say goodbye
	 */
	exit(0);
}