Symbol: insn_group