RAND_MAX          881 lib/stdlib.in.h #  ifndef RAND_MAX
RAND_MAX         2130 src/sysdep.c   #   if RAND_MAX == 32767
RAND_MAX         2133 src/sysdep.c   #    if RAND_MAX == 2147483647