pub const __IPHONE_5_1: u32 = 50100;