Symbol: intr_vecx_t