Constant __DRIVERKIT_23_0 

pub const __DRIVERKIT_23_0: u32 = 230000;