expanded class X feature -- Modification set do i := 5 end feature {NONE} -- Data i: INTEGER end