[Disagreement with ANS]
- An index of an array must be in the range of -2147483647 to 2147483647.
- An underflow does not cause an exception.
- If an array is assigned to an array with a substring qualifier and the size of those dose not coincide, an exception with extype 6101 shall be raised. Note that if the size of left-hand array is smaller than that of right-hand one then extype shall be 5001.