iselftype
argv[0], iselftype(buffer[EI_OSABI]),
if (!iselftype(type)) {
static const char *iselftype(int);