class
	A

create
	make

feature
	make
			-- do_nothing
		do
			do_nothing
		end

end