DUMP_WORDS
DUMP_WORDS(instr, nr_instr, "%px: old_insn: ", instr);
DUMP_WORDS(replacement, nr_repl, "%px: rpl_insn: ", replacement);
DUMP_WORDS(insnbuf, nr_insnbuf, "%px: final_insn: ", instr);