Symbol: DEF_TX1_AIFS