code: static void printNode(RBBINode n) {
  
          if (n==null) {
              System.out.print (" -- null --\n");
          } else {
              RBBINode.printInt( n.fSerialNum, 10);
              RBBINode.printString(nodeTypeNames[n.fType], 11);
              RBBINode.printInt(n.fParent==null? 0     : n.fParent.fSerialNum, 11);
              RBBINode.printInt(n.fLeftChild==null? 0  : n.fLeftChild.fSerialNum, 11);
              RBBINode.printInt(n.fRightChild==null? 0 : n.fRightChild.fSerialNum, 12);
              RBBINode.printInt(n.fFirstPos, 12);
              RBBINode.printInt(n.fVal, 7);
  
              if (n.fType == varRef) {
                  System.out.print(" " + n.fText);
              }
          }
          System.out.println("");
      }
docs: /CLOVER:OFF