Constant uikit_sys::__IPHONE_4_0

pub const __IPHONE_4_0: u32 = 40000;