#include <stdio.h> int main(void) { int ch; int ct = 0; while ((ch = getchar()) != EOF) ct++; printf("%d characters read\n", ct); return 0; }