Constant XCHAL_INT18_EXTNUM 

pub const XCHAL_INT18_EXTNUM: u32 = 13;