Pointer to instance of indefinite array?

[NiGHTS <nights@unku.us>]

Suppose I have a package like this...


package Test_Package is

    type Element is 
    record
        ID_1 : Positive;
        ID_2 : Positive;
    end record;

    type Element_Array     is array (Positive range <>) of Element;
    type Element_Array_Ptr is access Element_Array;

    procedure Do_Something_With_Array (
        In_Array : in Element_Array_Ptr
    );

end Test_Package;


In this situation I have an array of "Element" records with an unknown number of elements. The number of elements are to be defined by the user of this package and passed as a pointer to the procedure "Do_Something_With_Array".

So a simple implementation would be something like this...


with Test_Package; use Test_Package;

procedure main is 
    Test_Array : aliased Element_Array (1 .. 20);
begin
    -- Initialize the array, then call this function...
    Do_Something_With_Array (In_Array => Test_Array'Access);
end main;


So this does not compile and with countless errors no matter what configuration I try. I have a feeling my approach is fundamentally wrong. Essentially I am trying to pass a constrained array to a package accepting an array of any length, both of the same element type. I would parse the contents of this array using "for in" or 'First -> 'Last or 'Range. 

What is the best way to achieve this goal without using new / free?