#ifndef XOROSHIRO128_PLUS_H
#define XOROSHIRO128_PLUS_H


#include <stdint.h>


 
#define XOROSHIRO128_PLUS_SEED_LENGTH  2  

// Function declarations...the original code was modified to 
// allow passing in the seed to the callss to next() and jump().

static inline uint64_t rotl(const uint64_t x, int k) ;
uint64_t next(uint64_t seed[]) ;
void jump(uint64_t in_seed[], uint64_t out_seed[]) ;

double next_double(uint64_t seed[]) ;
float next_float(uint64_t seed[]) ;




#endif /* XOROSHIRO128_PLUS_H */