class
	POINTER_REF

General
	cluster: base.kernel
	description: 
		"References to objects containing reference to object
		meant to be exchanged with non-Eiffel software."

Ancestors
	HASHABLE

Queries
	infix "+" (offset: INTEGER): [like Current] POINTER_REF
	hash_code: INTEGER
	is_hashable: BOOLEAN
	item: POINTER
	memory_alloc (a_size: INTEGER): POINTER
	out: STRING

Commands
	memory_copy (a_source: POINTER; a_size: INTEGER)
	memory_free
	memory_move (a_source: POINTER; a_size: INTEGER)
	memory_set (val, n: INTEGER)
	set_item (p: POINTER)