while ((c = getchar()) != EOF){ ... }