pub const DCSR_CAUSE_HALT: u32 = 5;