with System;
   package NAT1 is
      Nat_One_Storage : constant Natural := 1;
      One_Address : constant System.Address := Nat_One_Storage'Address;
   end;