/*
 * Write a program to print the value of EOF. 
 */

#include <stdio.h>

int main(void){
	printf("EOF value is %d\n",EOF);
	return 0;
}