Symbol: set_up_atomic_state