docs: private void writeBlockInstances(StringBuilder out, int blockNo, int parentInstLevel) {
          BlockDynTabRec bdtr = blockDynTab[blockNo];
          while (true) {
              int blockInstNo = bdtr.currBlockInstNo;
              if (blockInstNo == -1) {
                  break;
              }
              BlockInstTabRec bitr = blockInstTab[blockInstNo];
              if (bitr.parentInstLevel < parentInstLevel) {
                  throw new AssertionError();
              }
              if (bitr.parentInstLevel > parentInstLevel) {
                  break;
              }
              writeBlockInstance(out, blockInstNo);
              bdtr.currBlockInstNo = bitr.nextBlockInstNo;
          }
      }