RANDOM_MAX         51 user/testbin/psort/psort.c #ifndef RANDOM_MAX
RANDOM_MAX        543 user/testbin/psort/psort.c 			assert(value <= RANDOM_MAX);
RANDOM_MAX        546 user/testbin/psort/psort.c 			while (value == 0 || value == RANDOM_MAX) {
RANDOM_MAX        631 user/testbin/psort/psort.c 	pivot = (RANDOM_MAX / numprocs);
RANDOM_MAX        946 user/testbin/psort/psort.c 	smallest = RANDOM_MAX;
RANDOM_MAX        969 user/testbin/psort/psort.c 			if (key >= RANDOM_MAX) {
RANDOM_MAX       1017 user/testbin/psort/psort.c 		if (largest >= RANDOM_MAX) {