Constant HAINTMSK 

const HAINTMSK: *mut u32 = _; // {0x3f980418 as *mut u32}