IO_handles created from FILE*s should ensure EOF is clear