indexing
	description: ""
	date: "$Date$"
	revision: "$Revision$"

class
	DA
inherit
	A
create
	make_bad, default_create
feature
	make_bad
		do
			number := 1
		end

end