Symbol: mm_atomic_or_imp