1 /* Write a program to print the value of EOF. */
2 
3 #include <stdio.h>
4 
5 main()
6 {
7 	printf("EOF: %d", EOF);
8 }