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