Constant DBG_STACKFAULT 

pub const DBG_STACKFAULT: u32 = 16u32;