deferred class TEST1 [G]
feature

	x: G is
		deferred
		end

end