class
	A

feature -- Access

	item: detachable like Current
		do
			Result := Void
		end

end