Symbol: USBC_IRQ1_SHORT