Symbol: icpt_insn_codes