131   return streampos(EOF);  in seekoff()
139     return EOF;  in underflow()
144     if ( (allocate()) == EOF )  in underflow()
145       return EOF;  in underflow()
154       if ( flushbuf() == EOF )  in underflow()
155         return EOF;  in underflow()
163   if ( result == EOF ) {  in underflow()
166     return EOF;  in underflow()
176     return EOF;  in overflow()
179     if ( allocate() == EOF )  in overflow()
180       return EOF;  in overflow()
184         return EOF;  in overflow()
187       if (flushbuf() == EOF)  in overflow()
188         return EOF;  in overflow()
195   if ( c != EOF ) {  in overflow()
209     return EOF;  in sync()
227     return EOF;  in flushbuf()
246   if ( t <= 0) return EOF;  in fillbuf()