__jrand48_r
extern int __jrand48_r (unsigned short int __xsubi[3],
(void) __jrand48_r (xsubi, &__libc_drand48_data, &result);
weak_alias (__jrand48_r, jrand48_r)
(void) __jrand48_r (__libc_drand48_data.__x, &__libc_drand48_data, &result);
return __jrand48_r (buffer->__x, buffer, result);