mf_warn0
mf_warn0(mf, MSG_INTL(MSG_MAP_EMPTYCAP));
mf_warn0(mf, MSG_INTL(MSG_MAP_SEGEMPLOAD));
mf_warn0(mf, MSG_INTL(MSG_MAP_INADDR32SF1));
mf_warn0(mf, MSG_INTL(MSG_MAP_BADAUTORED));