Constant __IPHONE_5_1 

pub const __IPHONE_5_1: u32 = 50100;