with Ada.Task_Identification; use Ada.Task_Identification;
package Scoped_Tasks_FinalizerTo API docTo body is
protected Finalizer is
procedure RegisterTo API docTo body (Id : Task_Id);
end FinalizerTo API docTo spec;
end Scoped_Tasks_FinalizerTo API docTo specTo body;