Symbol: tx_output