Constant XTHAL_MAX_INTTYPES 

pub const XTHAL_MAX_INTTYPES: u32 = 11;