n_left           1747 ext/standard/array.c 	int j, n_elems, rnd_idx, n_left;
n_left           1757 ext/standard/array.c 	n_left = n_elems;
n_left           1761 ext/standard/array.c 	while (--n_left) {
n_left           1763 ext/standard/array.c 		RAND_RANGE(rnd_idx, 0, n_left, PHP_RAND_MAX);
n_left           1764 ext/standard/array.c 		if (rnd_idx != n_left) {
n_left           1765 ext/standard/array.c 			temp = elems[n_left];
n_left           1766 ext/standard/array.c 			elems[n_left] = elems[rnd_idx];
n_left           5366 ext/standard/string.c 	long n_elems, rnd_idx, n_left;
n_left           5376 ext/standard/string.c 	n_left = n_elems;
n_left           5378 ext/standard/string.c 	while (--n_left) {
n_left           5380 ext/standard/string.c 		RAND_RANGE(rnd_idx, 0, n_left, PHP_RAND_MAX);
n_left           5381 ext/standard/string.c 		if (rnd_idx != n_left) {
n_left           5382 ext/standard/string.c 			temp = str[n_left];
n_left           5383 ext/standard/string.c 			str[n_left] = str[rnd_idx];