ports/sysdeps/alpha/elf
