Symbol: insn_inval