gcc/testsuite/gnat.dg/suppress_initialization.adb

--  { dg-do compile }

with Suppress_Initialization_Pkg;

procedure Suppress_Initialization is
begin
   Suppress_Initialization_Pkg.Read;
end Suppress_Initialization;