Symbol: INT_TXUNDERFLOW