implement elf_load_exec()