while (true) {
            --j;

            if (i >= j) {
                a[o] = a[j];