and hence FENCE instructions executed in VS-mode, if
has a numerically different value than b. This discrepancy captures (among other things) the reordering of memory system endianness, to ensure that the Son of God when he gave Amalickiah the command