kdrag.contrib.pcode.asmspec.update_write_and_num_insn

kdrag.contrib.pcode.asmspec.update_write_and_num_insn(state, ghost_env)