pub const SQLITE_TESTCTRL_PRNG_RESET: u32 = 7;