Symbol: tx_bug