class VAR feature i: INTEGER set_i (a_i: INTEGER) do i := a_i end end