KKASSERT_UNSPIN
KKASSERT_UNSPIN((spin->update & 1), spin);
KKASSERT_UNSPIN(((spin->update & 1) == 0), spin);