#include <stddef.h>
#include <stdio.h>
#include "include/pcg_variants.h"

int
main(void) {
	struct pcg_state_128 s;

	pcg_oneseq_128_srandom_r(&s, 1234);
	for (size_t i = 0; i < 10000; i++)
		pcg_oneseq_128_xsl_rr_64_random_r(&s);
	
	for (size_t i = 0; i < 1234567; i++)
		pcg_oneseq_128_xsl_rr_64_random_r(&s);
	
	uint64_t result = pcg_oneseq_128_xsl_rr_64_random_r(&s);

	printf("Expected: b88e2a0f23720a1d\n");
	printf("Actual  : ");
	for (size_t i = 0; i < 64; i += 8)
		printf("%02llx", (result >> i) & 0xffULL);
	printf("\n");
}