annotation AsmAbstractValue