# Reader decorator over a read-capable stream
class ReaderProtocol
	super Reader
	super Protocol

	redef type STREAM: Reader

	redef fun raw_read_byte do
		return origin.read_byte
	end

	redef fun raw_read_bytes(ns, len) do
		return origin.read_bytes_to_cstring(ns, len)
	end
end