package Np is
   pragma Pure (Np);
end Np;

with Ada.Unchecked_Deallocation;
with Ada.Finalization;
package Np.human is
 
   type String_Access is access all String;
   type Info(Hidden : Boolean) is
     abstract new Ada.Finalization.Limited_Controlled with private;
 
 
   procedure Initialize(I : in out Info);
   procedure Finalize(I : in out Info);
private
   type Info(Hidden : Boolean) is
     abstract new Ada.Finalization.Limited_Controlled with
      record
         Info : String_Access;
      end record;
   procedure Free is new Ada.Unchecked_Deallocation(String, String_access);
end Np.Human;

with Text_Io;
package body Np.human is
 
   procedure Initialize(I : in out Info) is
   begin
      null; -- ici, j'expérais saisir l'info;
   end Initialize;
 
   procedure Finalize(I : in out Info) is
   begin
      Free(I.Info);
   end Finalize;
 
end Np.Human;

package Np.Human.Status is
 
   type T_Status is new info(False) with null record;
   procedure Initialize(I : in out T_Status);
   procedure Finalize(I : in out T_Status);
 
end Np.Human.Status;

with Text_Io;
package body Np.Human.Status is
 
   procedure Initialize(I : in out T_Status) is
   begin
      Text_Io.Put("Status : " );
   end Initialize;
 
   procedure Finalize(I : in out T_Status) is
   begin
      null;
   end Finalize;
end Np.Human.Status;

with Np, Np.Human, Np.Human.Status;
use Np;
procedure Main is
 
   Status : Human.Status.T_Status;
begin
 
   null;
end Main;