public static void establishGoalCache(ControlFrame frame) {
    { ControlFrame goalframe = null;
      ControlFrame restartframe = null;
      int restartdepth = Stella.NULL_INTEGER;

      { Object [] caller_MV_returnarray = new Object[2];

        goalframe = ControlFrame.findDuplicatedGoal(frame, caller_MV_returnarray);
        restartframe = ((ControlFrame)(caller_MV_returnarray[0]));
        restartdepth = ((int)(((IntegerWrapper)(caller_MV_returnarray[1])).wrapperValue));
      }
      {
        restartframe = restartframe;
        restartdepth = restartdepth;
      }
      if ((goalframe != null) &&
          (ControlFrame.findGoalCache(goalframe) == null)) {
        ControlFrame.createGoalCacheP(goalframe);
      }
    }
  }