When the definition-reference relationship of the elements of the array A' in the loop body is examined and the execution of the J-th loop iteration is completed, temporary item sn ' holding the latest value of A'[J+n] is obtained, in which n is an integer.