e_type 53 kern/include/elf.h uint16_t e_type; /* type of file this is */ e_type 200 kern/syscall/loadelf.c eh.e_type!=ET_EXEC ||