Symbol: sanitize_mark_insn_seen