class TEST1
inherit
	ANY
		redefine
			default_create
		end
create
	default_create
feature
	default_create is
		do
--			precursor
			print ("In TEST1 create%N")
		end

--	value: G

--	val: INTEGER

end