class TEST4 [G -> detachable ANY]
inherit
	TEST1 [TEST2 [G]]
end