The actual value of EOF is system defined and not part of the standard.
EOF is an int with negative value and if you want to print it you should use the %d format string. Note that this will only tell you its value on your system. You should not care what its value is.