ces, programs will not crash but the
    observed behaviour may not be equivalent to any sequential interleaving of
    operations from different domains. Nevertheless, even in the presence of
    data races, a read operation will return the value of some prior write to
    that location.</p>

<h3 id="bytes_mixed_access">Mixed-size accesses </h3>
<p>Another subtle point is that if a data race involves mixed-size writes and
    reads to the same location, the order in which those writes and reads
    are obs