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)