rnd_idx          1747 ext/standard/array.c 	int j, n_elems, rnd_idx, n_left;
rnd_idx          1762 ext/standard/array.c 		rnd_idx = php_rand(TSRMLS_C);
rnd_idx          1763 ext/standard/array.c 		RAND_RANGE(rnd_idx, 0, n_left, PHP_RAND_MAX);
rnd_idx          1764 ext/standard/array.c 		if (rnd_idx != n_left) {
rnd_idx          1766 ext/standard/array.c 			elems[n_left] = elems[rnd_idx];
rnd_idx          1767 ext/standard/array.c 			elems[rnd_idx] = temp;
rnd_idx          5366 ext/standard/string.c 	long n_elems, rnd_idx, n_left;
rnd_idx          5379 ext/standard/string.c 		rnd_idx = php_rand(TSRMLS_C);
rnd_idx          5380 ext/standard/string.c 		RAND_RANGE(rnd_idx, 0, n_left, PHP_RAND_MAX);
rnd_idx          5381 ext/standard/string.c 		if (rnd_idx != n_left) {
rnd_idx          5383 ext/standard/string.c 			str[n_left] = str[rnd_idx];
rnd_idx          5384 ext/standard/string.c 			str[rnd_idx] = temp;