Constant __DRIVERKIT_23_5 

pub const __DRIVERKIT_23_5: u32 = 230500;