#include <stdlib.h>
#include <stdint.h>

static uint64_t seed;

void srand(unsigned s)
{
        seed = s-1;
}

int rand(void)
{
        seed = 6364136223846793005ULL*seed + 1;
        return seed>>33;
}