Constant __IPHONE_12_4 

pub const __IPHONE_12_4: u32 = 120400;