Constant __IPHONE_12_3 

pub const __IPHONE_12_3: u32 = 120300;