#include "pthread_impl.h"
#include <threads.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;
}