1with Ada.Finalization; use Ada.Finalization; 2 3package Noreturn4_Pkg is 4 5 type Priv is private; 6 function It return Priv; 7 function Value (Obj : Priv) return Integer; 8 function OK (Obj : Priv) return Boolean; 9 10private 11 type Priv is new Controlled with record 12 Value : Integer := 15; 13 end record; 14 15 procedure Adjust (Obj : in out Priv); 16 procedure Finalize (Obj : in out Priv); 17 18end Noreturn4_Pkg; 19