'Resolves this address.'

def _translate_addr(self, a):

    if (isinstance(a, claripy.ast.Base) and (not a.singlevalued)):
        raise SimFastMemoryError('address    not    supported')
    return self.state.se.any_int(a)
