35#ifndef LIBTCOD_RANDOM_H_
36#define LIBTCOD_RANDOM_H_
54static inline uint64_t TCOD_rng_splitmix64_next(uint64_t* state) {
56 uint64_t z = (*state += 0x9e3779b97f4a7c15);
57 z = (z ^ (z >> 30)) * 0xbf58476d1ce4e5b9;
58 z = (z ^ (z >> 27)) * 0x94d049bb133111eb;