Suppose that 2*abs(skipDtor) or more threads never call threadDtorStart() simultaneously, so flag never becomes negative because of that. */
source not stored for this graph (policy: none)
no test coverage detected