pub const SQLITE_TESTCTRL_ASSERT: u32 = 12;