class TEST3
inherit
	TEST2 [DOUBLE, NATURAL_64]

end