Constant SQLITE_TESTCTRL_PRNG_SAVE 

pub const SQLITE_TESTCTRL_PRNG_SAVE: c_int = 5;