Symbol: user_atomic_or