Constant __IPHONE_4_1 

pub const __IPHONE_4_1: u32 = 40100;