deferred class I

feature

	get_hash_code: INTEGER is
		deferred
		end

end