RAND_RANGE       1812 ext/standard/array.c 		RAND_RANGE(rnd_idx, 0, n_left, PHP_RAND_MAX);
RAND_RANGE        310 ext/standard/rand.c 		RAND_RANGE(number, min, max, PHP_RAND_MAX);
RAND_RANGE        343 ext/standard/rand.c 		RAND_RANGE(number, min, max, PHP_MT_RAND_MAX);
RAND_RANGE       5050 ext/standard/string.c 		RAND_RANGE(rnd_idx, 0, n_left, PHP_RAND_MAX);