Suppose I have some multi-threaded program using shared memory, in which multiple threads are at random times overwriting the value of some multi-byte varia
