class
	B [G -> HASHABLE]

inherit
	HASHABLE

feature

	hash_code: INTEGER

end