class POINTER_REF

feature
	
	item: POINTER

	set_item (p: POINTER)
		do
			item := p
		end

end