gcc/testsuite/gnat.dg/nat1r.adb

   1 -- { dg-do run }
   2
   3    with System, NAT1; use NAT1;
   4    procedure Nat1R is
   5       use type System.Address;
   6    begin
   7       if One_Address /= Nat_One_Storage'Address then
   8          raise Constraint_Error;
   9       end if;
  10    end;
  11