class
	A [$GENERIC]

feature
	i: INTEGER

invariant
	valid_i: i >= 0

end