13.7.1 The Package System.Storage_Elements

package System.Storage_Elements
   with Pure is

   type Storage_Offset is range implementation-defined;

   subtype Storage_Count is Storage_Offset range 0..Storage_Offset'Last;

   type Storage_Element is mod implementation-defined;
   for Storage_Element'Size use Storage_Unit;
   type Storage_Array is array
     (Storage_Offset range <>) of aliased Storage_Element;
   for Storage_Array'Component_Size use Storage_Unit;

   -- Address Arithmetic:

   function "+"(Left : Address; Right : Storage_Offset) return Address
      with Convention => Intrinsic;
   function "+"(Left : Storage_Offset; Right : Address) return Address
      with Convention => Intrinsic;
   function "-"(Left : Address; Right : Storage_Offset) return Address
      with Convention => Intrinsic;
   function "-"(Left, Right : Address) return Storage_Offset
      with Convention => Intrinsic;

   function "mod"(Left : Address; Right : Storage_Offset)
      return Storage_Offset
         with Convention => Intrinsic;

   -- Conversion to/from integers:

   type Integer_Address is implementation-defined;
   function To_Address(Value : Integer_Address) return Address
      with Convention => Intrinsic;
   function To_Integer(Value : Address) return Integer_Address
      with Convention => Intrinsic;

end System.Storage_Elements;