-- { dg-do compile }
with Suppress_Initialization_Pkg;
procedure Suppress_Initialization is
begin
Suppress_Initialization_Pkg.Read;
end Suppress_Initialization;
-- { dg-do compile }
with Suppress_Initialization_Pkg;
procedure Suppress_Initialization is
begin
Suppress_Initialization_Pkg.Read;
end Suppress_Initialization;