To be honest: {AI05-0229-1}
T'Storage_Size cannot be particularly meaningful in the presence of the
specification of the aspect Storage_Size, especially when the expression
is dynamic, or depends on a discriminant of the task, because the Storage_Size
will be different for different objects of the type. Even without such
a specification, the Storage_Size can be different for different objects
of the type, and in any case, the value is implementation defined. Hence,
it is always implementation defined.