Constant __DRIVERKIT_23_2 

pub const __DRIVERKIT_23_2: u32 = 230200;