Constant SQLITE_TESTCTRL_PRNG_RESET 

pub const SQLITE_TESTCTRL_PRNG_RESET: c_int = 7;