stderr_debug
stderr_debug("Thread %p has exited with leftover "
stderr_debug("Warning: exceeded max spinlocks");