code: def concretize(self, **kwargs):
          
          lengths = [self.state.solver.eval(x[1], **kwargs) for x in self.content]
          kwargs['cast_to'] = bytes
          return [b'' if i == 0 else self.state.solver.eval(x[0][i*self.state.arch.byte_width-1:], **kwargs) for i, x in zip(lengths, self.content)]
docs: Returns a list of the packets read or written as bytestrings.