Symbol: __atomic_leave