Symbol: Tx_Int