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