jere.adb

Procedure Main is

   type My_Array_Type is array (Natural range<>) of Integer;

   procedure Do_Stuff(Things : aliased in out My_Array_Type) is
   begin
      for I in Things'Range loop
         null;
      end loop;
      
   end Do_Stuff;

   procedure Do_Stuff(Num_Things : Integer) is
      Things : aliased My_Array_Type(1..Num_Things);
   begin
      Do_Stuff(Things);
   end Do_Stuff;
   
   
   
begin

   Do_Stuff(1000);
end Main;