indeed getchar() != EOF, is either 0 or 1