Symbol: mark_allocated