Symbol: mark_unsync