pathname2        2258 dxref.c        		char *pathname2 = get_pathname_by_int (curr_comp_unit,
pathname2        2263 dxref.c        			 href_src2 (pathname2, line, filename2));
pathname2        2267 dxref.c        			 href_src2 (pathname2, line, filename2));
pathname2        2271 dxref.c        			 href_src2 (pathname2, line, filename2),
pathname2        2275 dxref.c        			 a_name (id), href_src1 (pathname2, line, filename),
pathname2        2276 dxref.c        			 href_src2 (pathname2, line, filename2));