code: void printNodeStack(String title) {
          int i;
          System.out.println(title + ".  Dumping node stack...\n");
          for (i = fNodeStackPtr; i > 0; i--) {
              fNodeStack[i].printTree(true);
          }
      }
docs: /CLOVER:OFF