Dbg_map_hdr_noalloc
extern void Dbg_map_hdr_noalloc(Lm_list *, Lineno);
DBG_CALL(Dbg_map_hdr_noalloc(mf->mf_ofl->ofl_lml, mf->mf_lineno));