Symbol: ctxid2asid