the exact magnitude of which is implementation-dependent,
but which is not less than
The upper exclusive bound on the array total size of an array.
The actual limit on the array total size
imposed by the implementation
might vary according the element type of the array;
in this case, the value of
will be the smallest of these possible limits.