docs: def _translate_size(self, s): #pylint:disable=no-self-use
          """
          Checks whether this size can be supported by FastMemory."
          """
          if isinstance(s, claripy.ast.Base) and not s.singlevalued:
              raise SimFastMemoryError("size not supported")
          if s is None:
              return s
          return self.state.solver.eval(s)