Constant DBG_STATUS_BUGCHECK_SECOND 

pub const DBG_STATUS_BUGCHECK_SECOND: u32 = 4u32;