Symbol: probe_insn