[Ada] Когда освобождать память под динамически созданную задачу?

with Ada.Text_IO;            use Ada.Text_IO;
with Ada.Unchecked_Deallocation;
 
procedure Main is
    task type Task1 is
        entry SetNum (num: in Integer);
        entry Stop;
    end Task1;
    
    task body Task1 is
        n: Integer;
    begin
        accept SetNum (num: in Integer) do
            n:=num;
            Put_Line ("SetNum " & Integer'Image(n)); 
        end SetNum;
        
        accept Stop do
            null;
        end Stop;
        Put_Line ("Task " & Integer'Image(n) & " terminated"); 
    end Task1;
    
    type tPtr is access Task1;
    type ta is array (1..10) of tPtr;
    t : ta;
    procedure FreeTask is new Ada.Unchecked_Deallocation ( Object => Task1 ,
                                                           Name => tPtr ) ;
    c : character;
    tasks_wait: Boolean := true;
begin
    for i in t'Range loop
        t(i):= new Task1;
        t(i).SetNum(i);
    end loop;
    Get(c);
    for i in t'Range loop
        t(i).Stop;
    end loop;
    while tasks_wait loop
        delay 0.1;
        tasks_wait:=false;
        for i in t'Range loop
            if t(i) /= null then
                if t(i)'Terminated then
                    FreeTask(t(i));
                else
                    tasks_wait:=true;
                end if;
            end if;
        end loop;
    end loop;
    Put_Line ("END");
end Main;