#include <stdio.h>

main()
{
	printf("EOFing is 1: %d\n", getchar() != EOF);
}