RELOC_HIGHEST
DPRINTF(" HIGHEST(%#lx) = 0x%04llx\n", addr, RELOC_HIGHEST(addr));
*insn |= RELOC_HIGHEST(addr);