public override void accept(IDocumentVisitor doc_vis)
 {
     doc_vis.visit(this);
 }