deferred class TEST5 [G]

feature -- Access

	item alias "[]" (i: INTEGER): G
			-- Entry at position `i'
		deferred
		end

end