Note that a shared variable guarantees that if two or more
        threads try to modify it at the same time, the internal
        state of the variable will not become corrupted. However,
        there are no guarantees beyond this, as explained in the
        next section.