__dorand48
__dorand48(xseed);
__dorand48(xseed);
__dorand48(xseed);
__dorand48(__rand48_seed);
__dorand48(__rand48_seed);
__dorand48(xseed);
extern void __dorand48(unsigned short[3]);