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