MR_HDR_ELF
else if (type == MR_HDR_ELF)
if (flags == MR_HDR_ELF) {
mrp[current].mr_flags = MR_HDR_ELF;
mrp[padding ? 1 : 0].mr_flags = MR_HDR_ELF;