Symbol: get_target_index_for_insn