blob: 55cbec1c60bc60c0c36d3bc9a0b7e3151b3d8028 [file] [log] [blame] [edit]
#include <stdint.h>
#include <features.h>
hidden uint64_t __rand48_step(unsigned short *xi, unsigned short *lc);
extern hidden unsigned short __seed48[7];