Constant __DRIVERKIT_24_5 

pub const __DRIVERKIT_24_5: u32 = 240500;