class TEST2
inherit
	TEST1
		redefine
			a
		end
feature
	a: ANY assign weasel
	   do
	   end
	
end