i assumed the intention was:
in practice it's sometimes a nuisance to have to keep a flag in the
application to say whether eof has been reached or not,
when it could be done by allowing an unget at eof.