Constant SQLITE_TESTCTRL_PRNG_RESTORE 

pub const SQLITE_TESTCTRL_PRNG_RESTORE: c_int = 6;