Storage Pool

[ANH_VO@udlp.com]

Is it correct to assume that Size_In_Storage_Element mod Alignment = 0 for both
subprograms Allocate and Deallocate for any type derived from Root_Storage_Pool
as shown below

   procedure Allocate (
      Pool            : in out General_Pool;
      Storage_Address :    out System.Address;
      Size_In_Storage_Elements : in System.Storage_Elements.Storage_Count;
      Alignment       : in System.Storage_Elements.Storage_Count);

   procedure Deallocate (
      Pool            : in out General_Pool;
      Storage_Address : in     System.Address;
      Size_In_Storage_Elements : in System.Storage_Elements.Storage_Count;
      Alignment       : in System.Storage_Elements.Storage_Count);

   where type General_Pool (Size : System.Storage_Elements.Storage_Count;
                            User : access String ) is new
                       System.Storage_Pools.Root_Storage_Pool with private;
   ...

   or is it compiler dependent?
   
   Thanks.

   Anh Vo