dump_nodes
void dump_nodes(FILE *, const char *, NODE *, int);
dump_nodes(stdout, "", spec(spec1), Dflag);
dump_nodes(fp, path, cur->child, pathlast);