redef fun eof do return cursor >= bytes.length

	redef fun eof: Bool
	do
		assert stream != null
		return stream.eof
	end

	redef fun eof do return stream_in.eof

	redef fun eof: Bool
	do
		if stream == null then
			return true
		else if stream.eof then
			stream.close
			stream = null
			return eof
		else
			return false
		end
	end

	redef fun eof do
		var fl = _file
		if fl == null then return true
		if fl.address_is_null then return true
		if last_error != null then return true
		if super then
			if last_error != null then return true
			return fl.feof
		end
		return false
	end