CLASS {Array_int|egers} , UNTESTED:
BASE CLASS {Array} .
FUNCTION New_array_i|nt|egers ( INT A|rray_to_copy_in [*] ) ==> {Array_int} , NEW
METHOD Insert|_array_int|egers ( INT At|_index , INT A|rray_to_insert_in [*] )
METHOD . [ INT Index INDEXING INT ] ==> INT
OVERRIDE Sort
----------------------------------------------------------------- 'sorting'