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.