@xiangli-cmu Is this set to `testAndSet` for backwards compatibility?