#include <stdint.h>

#ifndef XORSHIFT_H
#define XORSHIFT_H

extern uint64_t xors;

#define XORSHIFT64 { \
		xors ^= xors >> 12; \
		xors ^= xors << 25; \
		xors ^= xors >> 27; \
	}

#define RANDOM64 (xors*0x2545F4914F6CDD1D)
#define RANDOM32 ((uint32_t)RANDOM64)

#endif