expanded class
	B [G]

feature

	i: INTEGER

end