Constant DBG_STATUS_BUGCHECK_FIRST 

pub const DBG_STATUS_BUGCHECK_FIRST: u32 = 3u32;