Symbol: insn_ctc1