rt_gccstream/gcc/testsuite/gnat.dg/const1.adb

--  { dg-do compile }

procedure const1 is
   Def_Const : constant Integer;
   pragma Import (Ada, Def_Const);
begin
   null;
end const1;