In the current store implementation, why doesn't the thread have to verify that seq_ is an even value? If it doesn't, it seems that the value of seq_ can permanently stay odd if two threads call store concurrently. Maybe I am misunderstanding something.