Verify that the expression getchar() != EOF is 0 or 1.