dbg_fmt_isec_name
extern const char *dbg_fmt_isec_name(Is_desc *, dbg_isec_name_buf_t,
dbg_fmt_isec_name(isp, buf, &alloc_mem), isp->is_file->ifl_name,
dbg_fmt_isec_name(isp, buf, &alloc_mem), isp->is_file->ifl_name,
dbg_fmt_isec_name(sdp->sd_isc, buf, &alloc_mem), nfname);
dbg_fmt_isec_name(isp, buf, &alloc_mem), str,
dbg_fmt_isec_name(isp, buf, &alloc_mem),
dbg_fmt_isec_name(isp, buf, &alloc_mem),
dbg_fmt_isec_name(isp, buf1, &alloc_mem1),
dbg_fmt_isec_name(disp, buf2, &alloc_mem2),
isp_str = dbg_fmt_isec_name(isp, buf, &alloc_mem);
isp1_str = dbg_fmt_isec_name(isp1, buf, &alloc_mem);
dbg_fmt_isec_name(ifl->ifl_isdesc[ndx], buf, &alloc_mem),
dbg_fmt_isec_name(isp, buf, &alloc_mem), nname);
dbg_print(lml, fmt, dbg_fmt_isec_name(isp, buf, &alloc_mem));
dbg_fmt_isec_name(isp, buf, &alloc_mem), str);
dbg_fmt_isec_name(sdp->sd_isc, buf, &alloc_mem), file);
dbg_fmt_isec_name(isp, buf, &alloc_mem),