Constant __DRIVERKIT_19_0 

pub const __DRIVERKIT_19_0: u32 = 190000;