RAND_MAX           53 user/testbin/psort/psort.c #define RANDOM_MAX RAND_MAX
RAND_MAX           40 user/testbin/randcall/main.c #if RAND_MAX != 0x7fffffff