1*90e502c7SAndroid Build Coastguard Worker #include <stdint.h> 2*90e502c7SAndroid Build Coastguard Worker void fuzz_mt19937_init(uint32_t seed); 3*90e502c7SAndroid Build Coastguard Worker uint32_t fuzz_mt19937_get(void); 4*90e502c7SAndroid Build Coastguard Worker void fuzz_mt19937_destroy(void); 5