C++: Strongly Happens Before?