Predecessor of

    extern FILE *stdin;