pub const SQLITE_TESTCTRL_PRNG_RESET: c_int = 7;