code: def _handle_return(state: GlobalState) -> None:
          
          stack = state.mstate.stack
          try:
              offset, length = get_concrete_int(stack[-1]), get_concrete_int(stack[-2])
          except TypeError:
              return
          for element in state.mstate.memory[offset : offset + length]:
              if not isinstance(element, Expression):
                  continue
              for annotation in element.annotations:
                  if isinstance(annotation, OverUnderflowAnnotation):
                      state.annotate(
                          OverUnderflowStateAnnotation(
                              annotation.overflowing_state,
                              annotation.operator,
                              annotation.constraint,
                          )
                      )
docs: Adds all the annotations into the state which correspond to the
          locations in the memory returned by RETURN opcode.
          :param state: The Global State