# External program execution: ELF files