class TEST1 [G]
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