In which header file EOF is defined in C language?

File EOF

On this page

File EOF

#include <stdio.h>
    int main() {
     int c;
     while((c = getchar() != EOF)) {
      printf("%d\n", c);
     }
     printf("%d - at EOF\n", c);
    }