class TEST
inherit
	TEST1 [DOUBLE]

create
	make

feature
	make
		do
			print (value /= Void); io.new_line
			print (value /= Void); io.new_line
		end

end