WAFLAG
if (atomic_cmpset_acq_int(&l->lock, 0, WAFLAG))
if ((l->lock & WAFLAG) == 0)
atomic_add_rel_int(&l->lock, -((l->lock & WAFLAG) == 0 ?
RC_INCR : WAFLAG));