Symbol: AA_MAY_BE_TRACED