Detailed Specification
7. Arrays
[Disagreement with ANS] 7.1 An index of an array must be in the range of -2147483647 to 2147483647. [Implementation-defined] 7.2.6 An underflow does not cause an exception. 7.3.4(7) If an array is assigned to an array with a substring quantifier 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.