#include <stdio.h>  /* for EOF */
#include <stdlib.h>
#include <wchar.h>  /* for wint_t, WEOF */

int main()
{
	int c = EOF;
	printf("End-of-file integer for char is %d.\n", c);

	wint_t wc = WEOF;
	/* not portable: may be %ld on other machines */
	printf("End-of-file integer for wchar_t is %d.\n", wc);

	return EXIT_SUCCESS;
}