(root)/
gcc-13.2.0/
gcc/
testsuite/
gnat.dg/
constant1.adb
--  { dg-do compile }

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