Symbol: thumb16_probes_decode_insn