Synchronization: For any given
once_flag: all active executions occur in a total
order; completion of an active execution synchronizes with (
[intro.multithread])
the start of the next one in this total order; and the returning execution
synchronizes with the return from all passive executions
.