31
procedure Copy (A : Array_Type) is
   V : Vector;  --or := To_Vector (A'Length);
   J : Extended_Index := No_Index;
begin
   V.Set_Length (Length => A'Length);
     
   for I in A'Range loop
      J := J + 1;
      V.Replace_Element(Index => J, By => A (I));
   end loop;
      ...
end Copy;