insn_to_vaddress
vaddress = insn_to_vaddress(insn);
DEBUGP("%016lx: %s -> %s\n", insn_to_vaddress(old), ostr, nstr);