The preferred recognizer for the elf stobj
Function: good-elf-p
(defun good-elf-p (elf) (declare (xargs :stobjs elf) (ignore elf)) t)
