RAND_RANGE       1763 ext/standard/array.c 		RAND_RANGE(rnd_idx, 0, n_left, PHP_RAND_MAX);
RAND_RANGE        301 ext/standard/rand.c 		RAND_RANGE(number, min, max, PHP_RAND_MAX);
RAND_RANGE        340 ext/standard/rand.c 		RAND_RANGE(number, min, max, PHP_MT_RAND_MAX);
RAND_RANGE       5376 ext/standard/string.c 		RAND_RANGE(rnd_idx, 0, n_left, PHP_RAND_MAX);