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

static uint32_t x = 123456789;
static uint32_t y = 362436069;
static uint32_t z = 521288629;
static uint32_t w = 88675123;

int rand(void) {
	uint32_t t;

	t = x ^ (x << 11);
	x = y; y = z; z = w;
	w = w ^ (w >> 19) ^ t ^ (t >> 8);

	return (w & RAND_MAX);
}

void srand(unsigned int seed) {
	x = 123456789  ^ (seed << 16) ^ (seed >> 16);
	y = 362436069;
	z = 521288629;
	w = 88675123;
}