Constant __VISIONOS_2_5 

pub const __VISIONOS_2_5: u32 = 20500;