Symbol: REG_TXF4