class TEST1

feature

	value: POINTER
		do
			Result := $value
		end

end