Constant SQLITE_TESTCTRL_PRNG_RESET

pub const SQLITE_TESTCTRL_PRNG_RESET: c_int = 7;