known-elf.awk/known-elf.h