randmax           118 kern/include/lib.h #define RANDOM_MAX (randmax())
randmax           119 kern/include/lib.h uint32_t randmax(void);