Symbol: TXC_ALRGS_ATXAMP1