#include <stdio.h>

/*
 * copy input to output: short version
 */
void main(void)
{
	int c;		/* input character */

	/*
	 * copy the input to the output
	 * one char at a time
	 */
	while ((c = getchar()) != EOF)
		putchar(c);

	/*
	 * say goodbye
	 */
	exit(0);
}