for (i=0; i<N; i++)
 for (j=0; j<N; j++)
  task2(… A [idx[j]][i],…); // implication : x<= idx[x]<= x+M
Listing 20: Example C-code of indirect access.