Symbol: TX_END