Constant SQLITE_TESTCTRL_PRNG_SAVE

pub const SQLITE_TESTCTRL_PRNG_SAVE: u32 = 5;