Constant __DRIVERKIT_24_3 

pub const __DRIVERKIT_24_3: u32 = 240300;