deferred class
	A

feature

	a
		do
			io.put_string ("{A}.a")
			io.put_new_line
		end

	b
		do
			io.put_string ("{A}.b")
			io.put_new_line
		end

end