pub const SQLITE_TESTCTRL_OPTIMIZATIONS: u32 = 15;