Constant __DRIVERKIT_23_6 

pub const __DRIVERKIT_23_6: u32 = 230600;