Constant EXCP0C_STACK 

pub const EXCP0C_STACK: u32 = 12;