1package Dflt_Init_Cond_Pkg is
2   type Explicit is limited private with Default_Initial_Condition => True;
3   type Implicit is limited private with Default_Initial_Condition;
4
5   procedure Read (Obj : Explicit);
6   procedure Read (Obj : Implicit);
7
8private
9   type Implicit is access all Integer;
10   type Explicit is access all Integer;
11end Dflt_Init_Cond_Pkg;
12