1234567891011121314
#ifndef PCG_H#define PCG_H
#include <stdint.h>
// Seed the random number generatorvoid pcg_seed(uint64_t seed);
// Get random numbers and random bitsuint32_t pcg_rand();void     pcg_bytes(char* out, int size);
#endif // PCG_H