gcc/testsuite/gnat.dg/specs/weak1.ads

package Weak1 is

   Myconst : constant Integer := 1234;
   pragma Export (C, Myconst, "myconst");
   pragma Weak_External (Myconst);

end Weak1;