with Elf_Arch32; package Elf_Arch renames Elf_Arch32;