Elf64_Vernaux
Elf64_Vernaux a, *ap;
const size_t auxmsz = sizeof(Elf64_Vernaux);
ap = ((Elf64_Vernaux *) (uintptr_t) dstaux);