#include "xorshift64.h"

uint64_t xors = (uint64_t)0xFEEDCAFEF00DDDDD;