Symbol: mm_atomic_and_imp