#include <threads.h>

#include "threads_impl.h"

int tss_set(tss_t k, void* x) {
  thrd_t self = __thrd_current();
  /* Avoid unnecessary COW */
  if (self->tsd[k] != x) {
    self->tsd[k] = x;
    self->tsd_used = 1;
  }
  return thrd_success;
}