/*
 * Problem 1-7
 * Write a program to print the value of EOF.
 * Copyright (c) 1998 by John Weber.  All rights reserved.
 */
#include <stdio.h>

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