user_atomic_test_and_set
int32 value = user_atomic_test_and_set(sem, oldValue - 1, oldValue, isWired);
int32 value = user_atomic_test_and_set(sem, oldValue + inc, oldValue, isWired);
user_atomic_test_and_set(sem, 0, -1, isWired);