libc/baselibc/src/nrand48.c (6 lines of code) (raw):

/* * nrand48.c */ #include <stdlib.h> #include <stdint.h> long nrand48(unsigned short xsubi[3]) { return (long)((uint32_t) jrand48(xsubi) >> 1); }