pub const SQLITE_TESTCTRL_PRNG_RESTORE: i32 = 6;