Symbol: NR_INSN_TO_PRINT