I think it is reasonably just to do 
```
debug.store(value,std::memory_order_release);
```