Re: ELF: what should be part of the userspace headers?