#include <stdint.h>

__uint128_t x;

static uint64_t inline next(void) {
	uint64_t z = x >> 64;
	// Update state (multiplier from https://arxiv.org/abs/2001.05304)
	x = x * ((__uint128_t)1 << 64 ^ 0xd605bbb58c8abbfd) + 0x14057b7ef767814f;
	z = (z ^ (z >> 30)) * 0xbf58476d1ce4e5b9;
	z = (z ^ (z >> 27)) * 0x94d049bb133111eb;
	return z ^ (z >> 31);
}

#define HARNESS_ADD
#include "harness.c"