elf_read_implies_exec
if (elf_read_implies_exec(*elf_ex, executable_stack))
if (elf_read_implies_exec(&exec_params.hdr, executable_stack))
#ifndef elf_read_implies_exec