docs: def _op_generic_StoU_saturation(self, value, min_value, max_value): #pylint:disable=no-self-use
          """
          Return unsigned saturated BV from signed BV.
          Min and max value should be unsigned.
          """
          return claripy.If(
              claripy.SGT(value, max_value),
              max_value,
              claripy.If(claripy.SLT(value, min_value), min_value, value))