'Returns the contents of a memory but, if the contents are symbolic,
raises a SimValueError.'

def mem_concrete(self, *args, **kwargs):

    e = self.memory.load(*args, **kwargs)
    if self.se.symbolic(e):
        raise SimValueError('target    of    mem_concrete    is    symbolic!')
    return self.se.any_int(e)
