One more point: All of this can be built on top of a 2-D unsafe addressing mode, with two long vector offsets I, j instead of two int vector indexes. And it doesn’t need to be restricted to arrays in that case. We could build vectorized var-handle factories to do vectorized traversal of non-array or mixed graph structure.