Symbol: mark_traced