1-- { dg-do compile } 2 3with Dflt_Init_Cond_Pkg; use Dflt_Init_Cond_Pkg; 4 5procedure Dflt_Init_Cond is 6 E : Explicit; 7 I : Implicit; 8 9begin 10 Read (E); 11 Read (I); 12end Dflt_Init_Cond; 13