long int lrand48 () { long int result; (void) __nrand48_r (__libc_drand48_data.__x, &__libc_drand48_data, &result); return result; }
long int nrand48 (unsigned short int xsubi[3]) { long int result; (void) __nrand48_r (xsubi, &__libc_drand48_data, &result); return result; }