class
	VAR

feature
	i: INTEGER

	update_var
		do
			i := i + 1
		end

end