Constant __DRIVERKIT_23_3 

pub const __DRIVERKIT_23_3: u32 = 230300;