class TEST
 
create
    make
 
feature
 
    	make
		do
			create x
			print (x.generating_type); io.new_line
			x.try
		end

	x: TEST2 [TEST3, NATURAL_8]

end