Whereas its intent is clear, the C standard lacks clarity concerning synchronization guarantees for the interaction of call backs that may be called during thread termination and during the termination of the whole program execution. This is the "library synchronization" part of a split up of N2329, that was perceived as overwhelming by WG14.