#include <stdio.h> main() { printf("EOF: %d\n", EOF); }