No nuances, just buggy code (was: related to Spinlock implementation)