#include "pcg-64-shim.h"
#include "../../src/splitmix64/splitmix64.h"

extern inline uint32_t random_uint32(aug_state* state);

extern inline uint64_t random_uint64(aug_state* state);

extern inline void advance_state(aug_state* state, pcg128_t delta);

extern inline void entropy_init(aug_state* state);

extern inline void set_seed(aug_state* state, pcg128_t seed, pcg128_t inc);

extern inline double random_double(aug_state* state);