The fsm_libs thread manager throws an exception in checkFailed. It does this without calling joinAll(), which leads to destructors being called on live threads as the stack unwinds.