docs: public int getStackLocation(int loc) throws DataflowAnalysisException {
          int stackDepth = getStackDepth();
          if (loc >= stackDepth) {
              throw new DataflowAnalysisException("not enough values on stack: access=" + loc + ", avail=" + stackDepth);
          }
          return slotList.size() - (loc + 1);
      }