Symbol: ire_atomic_end