Constant SQLITE_TESTCTRL_GETOPT 

pub const SQLITE_TESTCTRL_GETOPT: i32 = 16;