    class
    	SPECIAL [T]

    General
    	cluster: base
    	description:
    		"Special objects: homogeneous sequences of values,
    		used to represent arrays and strings"
    	create: make_from_native_array, make

    Ancestors
    	ABSTRACT_SPECIAL*

    Queries
    	aliased_resized_area (n: INTEGER_32): [like Current] SPECIAL [T]
    	aliased_resized_area_and_keep (n, j, k: INTEGER_32): [like Current] SPECIAL [T]
    	all_default (upper_bound: INTEGER_32): BOOLEAN
    	base_address: POINTER
    	capacity: INTEGER_32
    	count: INTEGER_32
    	index_of (v: T; start_position: INTEGER_32): INTEGER_32
    	infix "@" (i: INTEGER_32): T
    	item alias "[]" (i: INTEGER_32): T
    	item_address (i: INTEGER_32): POINTER
    	Lower: INTEGER_32
    	native_array: NATIVE_ARRAY [T]
    	resized_area (n: INTEGER_32): [like Current] SPECIAL [T]
    	same_items (other: [like Current] SPECIAL [T]; upper_bound: INTEGER_32): BOOLEAN
    	upper: INTEGER_32
    	valid_index (i: INTEGER_32): BOOLEAN

    Commands
    	clear_all
    	copy_data (other: [like Current] SPECIAL [T]; source_index, destination_index, n: INTEGER_32)
    	fill_with (v: T; start_index, end_index: INTEGER_32)
    	move_data (source_index, destination_index, n: INTEGER_32)
    	non_overlapping_move (source_index, destination_index, n: INTEGER_32)
    	overlapping_move (source_index, destination_index, n: INTEGER_32)
    	put (v: T; i: INTEGER_32)