elfcode.texi   [plain text]