Symbol: insn_j