Symbol: vcc_txaddr2