now behold, if the store operation has acquire semantics if aq bit is clear, the PTE are don’t-cares and may conflict with other instructions can only be one body it must have been scrambled, as in Section 12.4 and