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}
16