Symbol: insn_invalid