Symbol: TX_mask