erved by domains is not specified.
    For instance, the following code write sequentially a 32-bit integer and a
    <code class="code">char</code> to the same index</p>
<pre class="codepre"><span class="keyword">let</span> b = Bytes.make 10 '\000'
let d1 = Domain.spawn (fun () -&gt; Bytes.set_int32_ne b 0 100; b.[0] &lt;- 'd' )
</pre>
<p>In this situation, a domain that observes the write of 'd' to b.<code class="code">0</code> is not
    guaranteed to also observe the write to indices <code class="code">