code: def _convert_to_ast(self, data_e, size_e=None):
          
          if type(data_e) is bytes:
              # Convert the string into a BVV, *regardless of endness*
              bits = len(data_e) * self.state.arch.byte_width
              data_e = self.state.solver.BVV(data_e, bits)
          elif type(data_e) is int:
              data_e = self.state.solver.BVV(data_e, size_e*self.state.arch.byte_width if size_e is not None
                                         else self.state.arch.bits)
          else:
              data_e = data_e.raw_to_bv()
  
          return data_e
docs: Make an AST out of concrete @data_e