class
	A

feature -- Access

	item: like Current
		do
			Result := Void
		end

end