note
	description: "Summary description for {WORK_OUTPUT_STREAM}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

deferred class
	WORK_OUTPUT_STREAM

feature -- Conversion

	output (m: separate READABLE_STRING_8)
		deferred
		end

end
