code: final void set(final Frame f) {
          inputLocals = f.inputLocals;
          inputStack = f.inputStack;
          outputLocals = f.outputLocals;
          outputStack = f.outputStack;
          outputStackTop = f.outputStackTop;
          initializationCount = f.initializationCount;
          initializations = f.initializations;
      }
docs: Sets this frame to the value of the given frame. WARNING: after this
  method is called the two frames share the same data structures. It is
  recommended to discard the given frame f to avoid unexpected side
  effects.
  
  @param f
  The new frame value.