expanded class
	EXP1

feature

	i: INTEGER

end