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