Explain how the C standard's "as-if rule" enables compiler optimizations, and how that interacts with undefined behavior.

How would you design a lock-free single-producer single-consumer (SPSC) ring buffer in C?