jrand48
long jrand48(unsigned short[3]);
__weak_alias(jrand48,_jrand48)
jrand48(unsigned short xseed[3])