Constant __IPHONE_13_3 

pub const __IPHONE_13_3: u32 = 130300;