Constant XSHAL_DOUBLEEXC_VECTOR_SIZE 

pub const XSHAL_DOUBLEEXC_VECTOR_SIZE: u32 = 64;