pub const __IPHONE_4_1: u32 = 40100;