OLD_DUMP_MAGIC
} else if (dhp->dump_magic == OLD_DUMP_MAGIC ||
dhp->dump_magic == swap_uint32(OLD_DUMP_MAGIC)) {
char *isa = (dhp->dump_magic == OLD_DUMP_MAGIC ?