Support for copying std::atomic_* functions?

[edward]

Hi,

Is there some way to add support for the free-standing std::atomic_*
functions to Relacy? eg.
atomic_load
atomic_store
atomic_compare_exchange_strong
... etc ...

Thanks,
-Edward