Change input stream mid-program

Question

I have the following program which prints text from a file:

#include
int main(void) {
    int ch;

    while ((ch=getchar()) != EOF) {
        putc