The "incorrect operation ordering" bug in figure 3 is driving me absolutely nuts. I feel like I can't trust GCC.