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;