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