Comment by oguz-ismail2

Predecessor of

    extern FILE *stdin;