dumpnode
void dumpnode(node_p node, char *file, int line);
dumpnode(node, file, line);
dumpnode(node, NULL, 0);