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