Symbol: INSN_DEPRECATED