Constant DEBUGCAUSE_DEBUGINT_SHIFT 

pub const DEBUGCAUSE_DEBUGINT_SHIFT: u32 = 5;