'Return a dict containing the concrete values in memory.'

def concrete_parts(self):

    d = {}
    for (k, v) in self.mem.iteritems():
        if (not self.state.se.symbolic(v)):
            d[k] = self.state.se.simplify(v)
    return d
