See my comment to sibling [1]. In the case of C and the JMM, "proper semantics" is not.

[1] https://news.ycombinator.com/item?id=18312101