io_set_eof       1174 io.c           	    io_set_eof(fptr);
io_set_eof       1433 io.c           		io_set_eof(fptr);
io_set_eof       1743 io.c           	    io_set_eof(fptr);