text: from rpython.jit.metainterp.optimizeopt.optimizer import MININT, MAXINT
  
  class GeneralizationStrategy(object):
      def __init__(self, optimizer):
          self.optimizer = optimizer
  
      def apply(self):
          raise NotImplementedError
  
  class KillHugeIntBounds(GeneralizationStrategy):
      def apply(self):
          for v in self.optimizer.values.values():
              if v.is_constant():
                  continue
              if v.intbound.lower < MININT/2:
                  v.intbound.lower = MININT
              if v.intbound.upper > MAXINT/2:
                  v.intbound.upper = MAXINT
            
  