#include <stdint.h> void fuzz_mt19937_init(uint32_t seed); uint32_t fuzz_mt19937_get(void); void fuzz_mt19937_destroy(void);