ELFNAME
ELFNAME(exec)(int fd, Elf_Ehdr *elf, uint64_t *marks, int flags)
int ELFNAME(exec)(int, Elf_Ehdr *, uint64_t *, int);
ELFNAME(exec)(int fd, Elf_Ehdr *elf, uint64_t *marks, int flags)
ELFNAME(copy_elf)(int ifd, const char *iname, int ofd, const char *oname,