labelname        1457 dxref.c            char *labelname = get_attr_value ("DW_AT_name", node);
labelname        1466 dxref.c        	     href_src1 (pathname, get_line (line), get_name (labelname)),
labelname        1474 dxref.c            xmlFree (labelname);