SHF_EXECINSTR
if (sh.sh_flags & SHF_EXECINSTR) {
if ((ef->progtab[i].flags & SHF_EXECINSTR) != 0)
htole32(SHF_EXECINSTR | SHF_ALLOC), /* sh_flags */