RANDOM_MAX        118 kern/include/lib.h #define RANDOM_MAX (randmax())
RANDOM_MAX         53 user/testbin/psort/psort.c #define RANDOM_MAX RAND_MAX