get return value for 'getchar() != EOF'