// *******************************************
 class INode {
  protected Mode mode;
  public Mode get_mode() { return mode;   }
  public void set_mode(Mode new_mode) { mode = new_mode;   }
  protected Size size;
  public Size get_size() { return size;   }
  public void set_size(Size new_size) { size = new_size;   }
  public INode() { super();   }
  public INode(Mode mode, Size size) {
    super();
    set_mode(mode);
    set_size(size);
    }
  void traverse_maxSize(IntegerRef m){   
    mode.traverse_maxSize(m,size.get_i());
  }
}