Symbol: VGE_ISR_TXOK0