Constant __VISIONOS_1_2 

pub const __VISIONOS_1_2: u32 = 10200;