1 #include <stdint.h>
2 void fuzz_mt19937_init(uint32_t seed);
3 uint32_t fuzz_mt19937_get(void);
4 void fuzz_mt19937_destroy(void);
5