Constant EXCP_HALTED 

pub const EXCP_HALTED: u32 = 65539;