Discussion 解説
The elements of the index vector are wrapped modulo the count of elements in this vector. Because of this, the index is always in-range and no trap can occur. インデックスベクターの要素は、このベクターの中の要素の数によるモジュロでラップされます。このために、インデックスは常に範囲内です、そしてトラップは起こりえません。