#include <stdio.h> main() { printf("EOFing is 1: %d\n", getchar() != EOF); }