expanded class
	EXP5 [G]

feature

	i: INTEGER

end