docs: public void getTopStackWords(ValueType[] valueList) throws DataflowAnalysisException {
          int stackDepth = getStackDepth();
          if (valueList.length > stackDepth) {
              throw new DataflowAnalysisException("not enough values on stack");
          }
          int numSlots = slotList.size();
          for (int i = numSlots - valueList.length, j = 0; i < numSlots; ++i, ++j) {
              valueList[j] = slotList.get(i);
          }
      }