Symbol: elf_read_implies_exec