pub const __IPHONE_4_0: u32 = 40000;