o Make no assumptions about eof(), other than that it is somewhere outside of the valid range of char_type.
