Full name of submitter (unless configured in github; will be published with the issue): Jim X

[intro.races] p4 says:

All modifications to a particular atomic object M occur in some particular total order, called the modification order of M.

Is the initial value considered a modification to an atomic? This issue arose from when we considered the modification order of an atomic object. For example, consider the order between the initial value and the subsequent modifications in the modification order of the single atomic object to form the single total order. This is unclear in the current standard.