/* echo_eof.c -- repeats input to end of file */ #include <stdio.h> int main(void) { int ch; while ((ch = getchar()) != EOF) putchar(ch); return 0; }