Constant __IPHONE_4_3 

pub const __IPHONE_4_3: u32 = 40300;