Symbol: A_TXINT