Symbol: TX_AFTER_ALL