#ifndef _XORSHIFT_H_
#define _XORSHIFT_H_

#include <stdint.h>


void     set_xorshift128_seed(uint32_t seed[4]);
uint32_t xorshift128();

void     set_xorshift128plus_seed(uint64_t seed[2]);
uint64_t xorshift128plus();


#endif