Constant SQLITE_TESTCTRL_ASSERT 

pub const SQLITE_TESTCTRL_ASSERT: i32 = 12;