1#include <stdlib.h>
 2#include <stdint.h>
 3
 4static uint64_t seed;
 5
 6void srand(unsigned s)
 7{
 8	seed = s-1;
 9}
10
11int rand(void)
12{
13	seed = 6364136223846793005ULL*seed + 1;
14	return seed>>33;
15}