class
	A [G -> COMPARABLE]

feature

	make is
		do
			$CODE
		end

	b: B [STRING]

end