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