<dec f='src/src/sys/sys/exec_elf.h' l='1336' type='int elf64_check_header(Elf64_Ehdr * )'/>
