indexing description: "References to special objects, for direct access to arrays and strings" class interface TO_SPECIAL [T] create make_area (n: INTEGER) require non_negative_argument: n >= 0 ensure area_allocated: area /= void and then area. count = n feature -- Access area: SPECIAL [T] -- Special data zone invariant -- from GENERAL reflexive_equality: standard_is_equal (Current); reflexive_conformance: conforms_to (Current); end -- class TO_SPECIAL