class SPECIAL [T]

feature
	
	frozen item alias "[]" (i: INTEGER): T assign put is
		do
		end

	frozen make (n: INTEGER)
		do
		end

	frozen put (v: T; i: INTEGER) is
		do
		end

end