4 uint64_t __rand48_step(unsigned short *xi
, unsigned short *lc
);
5 extern unsigned short __seed48
[7];
7 double erand48(unsigned short s
[3])
12 } x
= { 0x3ff0000000000000ULL
| __rand48_step(s
, __seed48
+3)<<4 };
18 return erand48(__seed48
);