while (true) {
            ++i;

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