1.0.5.2: non-racy WITH-SPINLOCK-AND-WITHOUT-GCING