pub const SQLITE_TESTCTRL_PRNG_SAVE: i32 = 5;