Just a clarification, this code can also print nothing at all if both writes are observed before any reads.

Correct!