Symbol: tx_t