Constant SQLITE_TESTCTRL_PRNG_RESET 

pub const SQLITE_TESTCTRL_PRNG_RESET: i32 = 7;