#include struct uint128; namespace mrand { void setSeed(unsigned long long seed); float getFloat(uint128 *state); int getValue(int min, int max, uint128 *state); uint32_t getInt(); }