void swap_index(int i, int j) { cache.swap_index(i,j); super.swap_index(i,j); }
void swap_index(int i, int j) { cache.swap_index(i,j); super.swap_index(i,j); do {byte _=y[i]; y[i]=y[j]; y[j]=_;} while(false); }