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);
}
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);
}