1 #include <stdint.h> 2 #include <features.h> 3 4 hidden uint64_t __rand48_step(unsigned short *xi, unsigned short *lc); 5 extern hidden unsigned short __seed48[7]; 6