Symbol: mark_assigned